AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an
Free
1 servers · 1 listing
By zyx77550
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an