keel
AI coding agents that prove their work
- Keel automates code generation with built-in verification to reduce manual debugging.
- It uses a tamper‑evident record (Gates) to ensure code integrity and traceability.
- PR checks block any unproven changes from merging into the main branch.
AI coding agents that prove their work. Gates, a tamper-evident record, and a PR check that blocks anything unproven.
Visit keel
More in Agents
- Agent-Reach — Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit,…
- WeKnora — Open-source LLM knowledge platform: turn raw documents into a queryable RAG, an…
- OpenMontage — World's first open-source, agentic video production system. 12 production pipelines,…
- hermes-agent — The agent that grows with you
- oh-my-pi — ⌥ Coding agent with the IDE wired in. Built by Stencil Labs.
- ppt-master — AI turns documents or topics into real, native PowerPoint decks—with native shapes,…
- TradingAgents — TradingAgents: Multi-Agents LLM Financial Trading Framework
- OpenHands — 🙌 OpenHands: AI-Driven Development
Opening Liz…
