Codex is really good at checking Claude’s work: https://github.com/pjlsergeant/moarcode