keelyard

Proof gate, undo and output trimming for Claude Code, Codex and OpenCode coding agents.