PromiseProof

AI can fix code. It shouldn't certify itself.

Visit product ↗

PromiseProof shows a safer way to use coding agents. GPT-5.6 investigates a broken product promise, Codex proposes a constrained repair and a human approves the exact patch. Neither model can award PASS, the unchanged deterministic verifier does. Try it in your browser, tamper with the evidence, reproduce a sealed report or run the same gate in CI.

More Developer tools

Open Weights Breakoutqsa.shCuts Long Horizon Inference Costs by 50% via external KV Cache OffloadCrossle – A daily puzzle game where you find 3 intersecting wordsTermic – desktop app for running CLI coding agents (Claude Code, Codex)