zyx77550/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.

This repository also configures its own agents. See what sparda tells them →

8Stars on the repository
8Mods 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