{"name":"io.github.zakariagharzouli/sparda-mcp","slug":"zakariagharzouli-sparda-mcp","title":"SPARDA","description":"AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.","url":"https://mcp.market/server/zakariagharzouli-sparda-mcp","rating":null,"grade":"A","score":92,"certified":false,"status":"active","category":"security","tags":["security"],"presence":{"score":36,"stars":8,"forks":1,"downloads_week":208,"last_push_at":"2026-09-16T11:44:38.000Z","license":"NOASSERTION"},"uptime":null,"claimed":false,"transport":"npm","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/zakariagharzouli/sparda","website":null,"version":"0.71.4","remotes":[],"packages":[{"registryType":"npm","registryBaseUrl":"https://registry.npmjs.org","identifier":"sparda-mcp","version":"0.71.4","transport":{"type":"stdio"},"packageArguments":[{"description":"Start the stdio MCP bridge. Requires `sparda init` to have been run in the working directory first.","value":"dev","type":"positional"}],"environmentVariables":[{"description":"Set to `off` to disable serving proven-stable reads from memory (organs keep learning).","name":"SPARDA_FLYWHEEL"},{"description":"Set to `1` to enable Labs circuit recording (crystallizes repeated tool chains into composite tools).","name":"SPARDA_RECORD_SEQUENCES"}]}],"tools":[{"name":"sparda_confirm","description":"Confirms a pending write or delete operation gated by human-in-the-loop policies using its confirmation token.","write_action":false,"price_micros":0,"input_schema":null},{"name":"sparda_get_context","description":"Call this FIRST. Returns the full living context of this app: every tool with its description, known workflows, runtime telemetry (per-tool calls/errors/latency), quarantined tools, and the immune memory of past diagnosed failures. Lets any AI session resume exactly where the previous one stopped.","write_action":false,"price_micros":0,"input_schema":null},{"name":"sparda_info","description":"Info about this SPARDA endpoint. SPARDA is the trust layer for AI-written code — AI writes, SPARDA proves: deterministic, offline behavior proofs (guards, invariants, irreversible effects) plus a live gate for AI edits, no API key. By Residual Labs (residual-labs.fr) — github.com/zakariagharzouli/sparda","write_action":false,"price_micros":0,"input_schema":null},{"name":"sparda_list_disabled_tools","description":"Lists write tools (POST/PUT/DELETE) disabled by SPARDA write-safety, and how to enable them.","write_action":false,"price_micros":0,"input_schema":null},{"name":"sparda_prove","description":"Prove this app is safe to deploy — NOW, before you commit. Compiles the current source to its behavior graph and discharges the static proof obligations (unguarded mutation, non-atomic aggregate write, unvalidated constrained write). If a baseline was saved (`sparda apocalypse --save-baseline`), it ALSO diffs against it: any finding flagged `regression:true` means your edit removed a guard, droppe","write_action":false,"price_micros":0,"input_schema":null},{"name":"sparda_witness","description":"Generate-and-check for object-level authorization (BOLA/IDOR, OWASP API #1). Call with no arguments to list the routes where sparda_prove could not prove an ownership scope (O7 advisories). If you can SEE the ownership check in the code (an inline `if (row.ownerId !== req.user.id) deny`, or a helper call like `assertOwner(row.ownerId, req.user.id)`), call again with hints: [{route, file, line}] na","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":92,"grade":"A","scanned_at":"2026-09-20T20:10:18.266Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-20T20:10:18.211Z","components":{"code":{"score":25,"max":25,"notes":["114 source files scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (local package is not executed); not counted"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":15,"max":15,"notes":["last push 4 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"packages":[{"registryType":"npm","identifier":"sparda-mcp","version":"0.71.4","found":true,"license":"BUSL-1.1","hasInstallScripts":false,"dependencyCount":4,"publishedAt":"2026-09-01T22:15:03.113Z","repositoryUrl":"git+https://github.com/zakariagharzouli/sparda.git","weeklyDownloads":208}],"repo":{"found":true,"owner":"zakariagharzouli","repo":"sparda","archived":false,"pushedAt":"2026-09-16T11:44:38Z","stars":8,"forks":1,"openIssues":11,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/193484145?v=4","ownerCreatedAt":"2025-01-02T10:05:54Z","license":"NOASSERTION"},"icon":{"url":"https://avatars.githubusercontent.com/u/193484145?v=4&s=128","source":"github"},"presence":{"stars":8,"forks":1,"downloadsWeek":208,"license":"NOASSERTION","lastPushAt":"2026-09-16T11:44:38.000Z","score":36}}}},"grade_history":[],"reviews":[]}