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.

8Stars on the repository
8Mods indexed here, across every type
7d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

sparda CLAUDE.md

01

zyx77550/sparda

Instructions file

Claude Code instructions for zyx77550/sparda, covering claude.md — ai session entry point, start here, every session, commands, architecture in one breath and conventions.

8 7d ago A 1,736 tokens

sparda GEMINI.md

02

zyx77550/sparda

Instructions file Gemini CLI

Gemini CLI instructions for zyx77550/sparda, covering gemini.md — operating contract for the gemini executor, who does what (relay discipline — never blur these roles), git, current release — v0.66.0 (2026-07-19) and gemini does (mechanics — only on zak's go).

8 7d ago A 4,303 tokens