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.

maintainer

zyx77550

license

NOASSERTION

first seen

2026-07-25

last seen

2026-07-30

releases · 30d

6

short id

c8d07ccf9a9e