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

(github.com) by nelsonwerd | Aug 1, 2026 | 0 comments on HN