N/A
vikramlaishram-lang/Proof Mode
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.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/vikramlaishram-lang/proof-mode
- Framework mcp
- Sources glama
- First Seen Jul 18, 2026
- Repository github.com/vikramlaishram-lang/proof-mode
Browse more:
Search all agents
Ecosystem Report