2 repositories with Claude Code or Codex plugins.
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.
1 plugin · zakariagharzouli/sparda
1 plugin · zakariagharzouli/sparda-skills