agentmods.dev

zakariagharzouli/sparda

AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.

Open on GitHub

8Stars on the repository

4Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

sparda-mcp

zakariagharzouli/sparda

MCP server Claude CodeCodexCursor +2

AI writes. SPARDA proves. Deterministic, offline security gate for AI edits. Runs locally from the sparda-mcp npm package. Needs 2 environment variables to run.

not rated 8 1mo ago A Socket: warn tokens not measured