Last released Aug 6, 2026
Guarded-loop engine for AI coding agents: Specs become verified work through bounded loops that end in proof or escalation, never a silent stop.
Supported by
