Codex ProofStack

Make “done” provable with local evidence, explicit verdicts, and bounded Codex repairs.

Comment

Duwon Park posted an update — Jul 18, 2026 12:09 PM EDT

Log in or sign up for Devpost to join the conversation.