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.
2 files for Claude Code and Gemini CLI: sparda CLAUDE.md, sparda GEMINI.md — 6,039 tokens loaded in every session.
CLAUDE.md A 1,736 tok GEMINI.md A 4,303 tok These files are zyx77550/sparda's own configuration — they tell Claude Code and Gemini CLI how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.