{
  "type": "mcp-server",
  "name": "SPARDA Security Gate",
  "packageName": "sparda-mcp",
  "description": "Connects AI coding agents (Claude Code, Cursor, Windsurf) to the SPARDA Security Gate to validate edits via Proof-Carrying Code (PCC) invariants before applying them.",
  "url": "https://github.com/zyx77550/sparda",
  "readme": "https://github.com/zyx77550/sparda#readme",
  "runtime": "node",
  "license": "BUSL-1.1",
  "env": {}
}