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.

9Stars 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

sparda-gate

01

zakariagharzouli/sparda

Plugin Claude Code

Bundles 1 hook

The behavior gate for AI edits — proves each edit lost no auth guard, dropped no route, and grew no blast radius. Deterministic, <2s, offline, zero API key.

not rated 9 1mo ago A tokens not measured