Sparda MCP Server
AI writes. SPARDA proves. L'IA écrit. SPARDA prouve. The trust layer for AI-written backends. SPARDA compiles your backend - routes, database queries, state mutations, guards, side-effects - into one deterministic behavior graph, then statically proves what can and can't break before you ship: no unguarded mutation, no broken invariant, no non-atomic aggregate write.
People who work with ai code review, authorization and bola and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in JavaScript.
VERIFIED ACTIVE
LAST COMMIT 2026-09-16 · ★ 8 · #46 OF 168 MAINTAINED DEVELOPER TOOLS · VERIFIED 2026-09-18
NOASSERTION · JavaScript servers · how we verify → /methodology
01 · Install Sparda
before you install - you'll need
The README does not document required environment variables for a basic install.
Claude Code
claude mcp add zyx77550-sparda -- npx -y sparda-mcp Claude Desktop / Cursor / VS Code - add to config
{
"mcpServers": {
"zyx77550-sparda": {
"command": "npx",
"args": [
"-y",
"sparda-mcp"
]
}
}
} Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.
Using another client? Same JSON, different key
Claude Desktop · mcpServers
Cursor · mcpServers
VS Code · servers
Windsurf · mcpServers
Zed · context_servers
Cline · mcpServers
Roo Code · mcpServers
Continue · mcpServers
LibreChat · mcpServers
Gemini CLI · mcpServers
Codex CLI · mcp_servers
Full setup guides: every client.
02 · Evidence
Security posture
What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.
runs as local process (stdio) - runs on your machine with your user's permissions
license no standard license detected - usage rights unclear; check the repo before commercial use
npm package sparda-mcp - unscoped; check the name against the project README before installing
registry namespace io.github.zyx77550 is GitHub-verified and matches the repo owner
03 · What Sparda can do
Prose above is summarized from the project's README and registry record - no invented capabilities.
Latest releases
v0.68.0 · 2026-07-25
v0.67.0 · 2026-07-22
v0.64.0 · 2026-07-18
04 · Who maintains Sparda
SPARDA is maintained by zyx77550. It's the only MCP server we track from this author; the repo dates to Jun 2026.
05 · Facts
- repository
- github.com/zyx77550/sparda
- category
- developer tools - ranked #46 of 168 actively-maintained developer tools servers as of 2026-09-18.
- release cadence
- 8 releases in the last 90 days (latest 2026-07-25)
- registry
- io.github.zyx77550/sparda-mcp (active, first published 2026-07-03 · 33 versions)
- packages
- npm:sparda-mcp
06 · Sparda FAQ
What is Sparda?
AI writes. SPARDA proves. L'IA écrit. SPARDA prouve. The trust layer for AI-written backends. SPARDA compiles your backend - routes, database queries, state mutations, guards, side-effects - into one deterministic behavior graph, then statically proves what can and can't break before you ship: no unguarded mutation, no broken invariant, no non-atomic aggregate write.
Is Sparda still maintained?
Yes - as of 2026-09-18, its last commit was 2026-09-16 and it shipped 8 releases in the last 90 days. We re-verify nightly.
How do I install Sparda?
Run `npx -y sparda-mcp`. The README does not document required environment variables for a basic install. You can also paste the ready-made client config above.
Does Sparda run locally?
Yes - it's a stdio server: it runs on your machine (via npx) with your user's permissions. Your data stays local unless the server itself calls external APIs.
07 · Alternatives to Sparda
Alternatives to Sparda
Maintained developer tools servers if Sparda isn't the fit.
- Xcode Build MCP XcodeBuildMCP provides tools for Xcode project management, simulator management, and app utilities. ★ 6,397 · 2026-09-11
- Strata MCP server for progressive tool usage at any scale (see https://klavis.ai) ★ 5,804 · 2026-06-01
- Kubefwd Kubernetes port forwarding for local development with automatic /etc/hosts entries. ★ 4,171 · 2026-09-15
- Sem Entity-level code intelligence: semantic diff, impact analysis, blame, and context for AI agents ★ 3,352 · 2026-09-13
- Claude Code Explorer MCP Explore the Claude Code CLI source - browse tools, commands, search code, and more. ★ 3,342 · 2026-08-29
- Server for WinDbg Crash Analysis A Model Context Protocol server for Windows crash dump analysis using WinDbg/CDB ★ 1,578 · 2026-09-09
Pairs well with
Servers that cover what Sparda doesn't - only shown when the pairing reason fits the companion.
More developer tools MCP servers · Abcop · Agentic HIL · Axint · Rtblint · Vastlint
More JavaScript MCP servers · Dsh Verify · Open MCP Apps · 3 Doptix · Cryptopolitan MCP · Ui.Vision MCP · see all