skill
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.
Listed with a link only — no licence
The repository states no licence, so by default nobody may reuse it. We only link to it. Setup instructions and the README are on the project's own page.