Connection check
local install
sparda-mcp
AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.
Tools
6
GitHub stars
—
Installs / wk
291
Licence
—
Transport
stdio
Last checked
never
Tools & capabilities
6 toolsRead from the published package source — this server runs locally, so there is no endpoint to query. Names are taken from the code, not observed at runtime, and descriptions are often absent.
sparda_confirm
from source
Confirms a pending write or delete operation gated by human-in-the-loop policies using its confirmation token. Confirms a pending write or delete operation gated by human-in-the-loop policies using its confirmation token.
sparda_get_context
from source
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… 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.
sparda_info
from source
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… 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
sparda_list_disabled_tools
from source
Lists write tools (POST/PUT/DELETE) disabled by SPARDA write-safety, and how to enable them. Lists write tools (POST/PUT/DELETE) disabled by SPARDA write-safety, and how to enable them.
sparda_prove
from source
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-at… 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_witness
from source