Proof Mode
AI & Memory
Local
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.
How to connect
1
Glama registry
View https://glama.ai/mcp/servers/axwnydkj83 for deploy options, or install from https://github.com/vikramlaishram-lang/proof-mode (see README for MCP config).
2
GitHub
Install from https://github.com/vikramlaishram-lang/proof-mode and add the server to your MCP client configuration (see repository README).
Tools
Tool names are not listed in our registry for this server. Connect it in your MCP client to see the live tool list.