Compile backends to behavior graphs. Statically prove security, simulate APIs, and replay bugs.
{ "mcpServers": { "sparda": { "command": "npx", "args": [ "-y", "sparda-mcp" ] } } }