Keel pitches a conductor for coding agents that prove their work, not an agent loop
Keel (release 0.10) bills itself as "a conductor, not an agent loop" for AI coding agents that prove their work.
It is an explicit alternative to the loop-as-primitive framing most harnesses assume: an orchestrator that directs agents and checks evidence, rather than one open loop. The Show HN post gives no measured results.