Show HN: AI coding agents that prove their work

Category: devtools

Tags: ai-agents, verification, audit, rust, devtools

Score: 7.3/10 (Innovation: 7, Technical: 8, Documentation: 8, Utility: 6)

keel is a Rust-based harness that enforces auditable stopping conditions for AI coding agents by defining testable specs, gating work through build/test/review checks, and producing tamper-evident evidence bundles. It integrates with existing agents like Claude Code and Codex, offering a novel approach to verifiable AI-assisted development with hash-chained records and optional sandboxing.

Target audience: backend devs, devops, engineering managers, compliance auditors

Repository: https://daneb.github.io/keel/ · Rust · Apache-2.0 · 2 stars

View on Hacker News