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.
- release gh release zyx77550/sparda v0.68.0
- new_repo new repo zyx77550/sparda
- release gh release zyx77550/sparda v0.67.0
- release gh release zyx77550/sparda v0.64.0
- release gh release zyx77550/sparda v0.63.0
- release gh release zyx77550/sparda v0.62.0
- release gh release zyx77550/sparda v0.58.0
- release gh release zyx77550/sparda v0.5.4
- release gh release zyx77550/sparda v0.5.3
j down k up gg top G end