**Show HN: AI coding agents that prove their work**

> keel makes AI coding agents prove their work: you define done, the agent works, keel checks it and keeps a tamper-evident record anyone can verify offline. Plus a PR check and a GitHub Actions runtime. keel How it works Use cases Why trust it Gates Get started GitHub Rust · macOS & Linux · v0.10.1 keel AI coding agents that prove their work. You say what “done” means. An agent — Claude Code, Codex, Copilot, Kiro — do...

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-09-26 21:31（北京时间）
- **原文**：[打开原文](https://daneb.github.io/keel)