SPARDA runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 5 Sep 2026.
AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.
We read the source, 16 h ago · rules 3dff92dd89df
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 security scanning, no model or API key, plus offline-verifiable proof a fix worked.
Validates AI-generated Python: syntax, lint, security scan and deterministic repair.
Self-hosted MCP server: 26 deterministic dev, security, and EVM tools.
Deterministic security layer your AI can't be. 462 rules, 39 tools, CLI + doctor + host audit.
Free deterministic security scan of public git repos: OSV.dev vulnerable deps, secrets, config lint.
Security guardrails for AI agent payments
Answers built from our own checks of this server.