I told Codex to prove everything. And the proof ate the project

**Project Summary:** "I told Codex to prove everything. And the proof ate the project" is an open-source project discovered through Hacker News, which may be us