Why this repo matters
Latest release 30d ago, 6 developer signals, 1 package/install signals
Proof-carrying completion for AI coding agents. Block 'I'm done' until every critical obligation has evidence. (3 stars, 0 forks, Rust, fresh release, 5 AI signals, 4 developer signals). Latest release: v0.4.1.