$ loading_
An MCP server implementing a multi-phase backend for structured model interactions, bounded compilation, exact-hash confirmation, and Codex-run provenance, with trust-separation hardening.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "Proof Mode" yet — see the docs or source repo.