Open Issues Need Help
View All on GitHubMake AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.
Make AI coding agents prove their work, undo any step, and use fewer tokens. Claude Code, Codex, OpenCode.