Productivity · daneb.github.io

keel

keel owns the auditable stopping conditions and the durable memory that AI coding agents don't. Specs with falsifiable oracles, gates with three verdicts, evidence you can hand to an auditor.