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 connecting developer tools tools to Claude, Cursor, VS Code, or another MCP client. The project is written in JavaScript.
VERIFIED ACTIVE
LAST COMMIT 2026-07-30 · ★ 8 · #51 OF 139 MAINTAINED DEVELOPER TOOLS · VERIFIED 2026-08-25
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 #51 of 139 actively-maintained developer tools servers as of 2026-08-25.
- 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-08-25, its last commit was 2026-07-30 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,274 · 2026-08-12
- Strata MCP server for progressive tool usage at any scale (see https://klavis.ai) ★ 5,794 · 2026-06-01
- Kubefwd Kubernetes port forwarding for local development with automatic /etc/hosts entries. ★ 4,162 · 2026-08-21
- Sem Entity-level code intelligence: semantic diff, impact analysis, blame, and context for AI agents ★ 3,309 · 2026-08-24
- Claude Code Explorer MCP Explore the Claude Code CLI source - browse tools, commands, search code, and more. ★ 3,263 · 2026-04-22
- Server for WinDbg Crash Analysis A Model Context Protocol server for Windows crash dump analysis using WinDbg/CDB ★ 1,533 · 2026-08-22
Pairs well with
Servers that cover what Sparda doesn't - only shown when the pairing reason fits the companion.
More developer tools MCP servers · Agentic HIL · Axint · Rtblint · Vastlint · Debugium
More JavaScript MCP servers · Open MCP Apps · Cryptopolitan MCP · Spiderbrain · Change This File · Codemore · see all