MCP Server · AI & ML

sparda-mcp

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.

Tier 1 sealed by lossy-channel-auto
Source
https://github.com/zyx77550/sparda
Registry namespace
io.github.zyx77550/sparda
Imported from
npm
License
BUSL-1.1
Pricing
Open Source
Added
Jul 21, 2026

Seal evidence

Auto-sealed Tier 1 on import from npm registry search. Lossy Channel layers 1–2 to be backfilled by the Foreman.

  • L1-wash

Pinned to 0.66.1

Similar tools