Sparda MCP Server

@zakariagharzouli

Basic information

About 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 config

Add this server to your MCP-compatible client using the configuration below.

{
  "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 tools

Tool list not available yet

This listing does not currently have a tool list to display. This does not mean the server has no tools; check its documentation for supported capabilities.

Fetch the live tool list by running this server in a temporary sandbox using the button above.

Overview

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.

Frequently asked questions

Where is the source code for Sparda?

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

Does Sparda include a standard MCP config?

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

Comments

More Other MCP servers

ICSS

chokcoco

不止于 CSS

20.7K

The Living Bread

A free remote MCP server for The Living Bread. Bible passages read word for word from a stored public domain text with an evidence label, keyword search and cross references, real churches, gatherings and prayer groups w

Next Generation Movers: free moving quotes (remote MCP)

Next Generation Movers

Free moving quotes for AI agents from Next Generation Movers, a licensed interstate mover (USDOT 3764697). US long-distance nationwide and local DC/MD/VA. Indicative ballpark price and booking options; optional $0.01 x40

MCP Toolbox for Databases

googleapis

MCP Toolbox for Databases is an open source MCP server for databases.

15.9K

Awesome Mlops

visenger

A curated list of references for MLOps

14.0K