SPARDA runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 10 Sep 2026.
AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.
We read the source, 2 d ago · rules 995398eba69f
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
child = cp.spawn(cli.command, argv, { cwd, shell: false });
const abs = path.isAbsolute(rel) ? rel : path.join(root, rel);
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.
SupraWall security gateway for AI agents. Provides deterministic guardrails for MCP agents.
Deterministic, no-LLM security scanner for MCP servers, plus an inline proxy gate.
Deterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked.
The deterministic attack-surface perception layer for AI security agents
Deterministic authorization and security guard for AI agent actions with signed receipts.
Validates AI-generated Python: syntax, lint, security scan and deterministic repair.
Deterministic execution boundary and reference MCP sidecar for Arcstone Security Stack
Answers built from our own checks of this server.