广告合作
MCP.so
登录

Sparda MCP Server

@zakariagharzouli

代码仓库

基本信息

分类

其他

许可证

NOASSERTION

作者

zakariagharzouli

关于 Sparda MCP Server

AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.

Sparda MCP Server 配置

使用下面的配置,将此服务器添加到你的 MCP 客户端。

{
  "mcpServers": {
    "sparda": {
      "command": "npx",
      "args": [
        "sparda-mcp",
        "apocalypse",
        "#",
        "prove",
        "the",
        "tree",
        "is",
        "safe",
        "to",
        "deploy",
        "—",
        "exit",
        "1",
        "on",
        "any",
        "real",
        "risk,",
        "or",
        "on",
        "an",
        "unverified",
        "premise"
      ]
    }
  }
}

Sparda MCP Server 工具

工具列表暂未提供

当前收录暂时没有可展示的工具列表，不代表服务没有工具。请查阅项目文档了解支持的能力。

点击上方按钮,在临时沙箱中运行此服务器并实时获取工具列表。

概览

What is Sparda?

AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.

How to use Sparda?

The README includes setup instructions such as npx sparda-mcp apocalypse # prove the tree is safe to deploy — exit 1 on any real risk, or on an unverified premise.

Key features of Sparda

  • Unguarded Mutation (Critical): Flags any mutation path that does not cross a security guard
  • Aggregate Member Bypass (Info): Flags mutating a member table directly without routing through the aggregate root
  • Deletion of any security guard (Critical)
  • Deletion of a database SQL invariant (High)
  • API blast radius expansion (Medium)

Use cases of Sparda

  • Connect an MCP-compatible client to this repository's service.
  • Review the README-backed setup before enabling it in production.

常见问题

1

Where is the source code for Sparda?

The source code is linked from the repository URL on this page.

2

Does Sparda include a standard MCP config?

If the README contains a parseable MCP configuration block, it is shown in the Config tab.

评论

其他 分类下的更多 MCP 服务器

MaxKB

1Panel-dev

🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。

22.0K

Codelf

unbug

A search tool helps dev to solve the naming things problem.

14.2K

Awesome Mlops

visenger

A curated list of references for MLOps

14.0K

ICSS

chokcoco

不止于 CSS

20.7K

Lemon.io

lemon-io

Request dedicated senior developers to work on your project, write job descriptions, and prep technical interviews — all without leaving your Claude chat. Just describe what you need, and Lemon.io MCP does the rest. 1–3

广告合作