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.
08-17 00:00 02-15 00:00 now
subscribe to this server's releases (RSS) →
| version | published | age | src |
|---|---|---|---|
| v0.68.0 | 2026-07-25 22:53 | 21d ago | github |
| v0.67.0 | 2026-07-22 18:16 | 24d ago | github |
| v0.64.0 | 2026-07-18 13:57 | 28d ago | github |
| v0.63.0 | 2026-07-17 23:04 | 29d ago | github |
| v0.62.0 | 2026-07-17 20:56 | 29d ago | github |
| v0.58.0 | 2026-07-17 15:28 | 29d ago | github |
| v0.5.4 | 2026-07-02 20:16 | 1mo ago | github |
| v0.5.3 | 2026-06-24 17:25 | 1mo ago | github |