Proof Mode

Item: Proof Mode
Rating: 69
Author: M8ven

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.

→ vikramlaishram-lang/proof-mode · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

5 tools verified — handlers match their declared behaviour

2 read-only tools verified — handlers contain no write/delete/exec

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

🔐

You'll be asked for 1 credential: OPENAI_API_KEY

These are read from process.env at runtime. Make sure you trust where they’ll be sent.

// required environment variables

This server reads these from process.env. You'll be asked to provide them before it can run.

configPROOF_MODE_DATABASE

configPROOF_MODE_REPOSITORY

configPROOF_MODE_DATA_ROOT

🔐 secretOPENAI_API_KEY

configPROOF_MODE_MODEL_TIMEOUT_SECONDS

configPROOF_MODE_CODEX_MODEL

configPROOF_MODE_TRUSTED_PYTHON

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 3 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/vikramlaishram-lang-proof-mode-y8ey7n)](https://m8ven.ai/mcp/vikramlaishram-lang-proof-mode-y8ey7n)

commit: 73b8b600428c85a239480683cb1a4ddaede6648d

code hash: fa7778f0e59ece67d0a18df54256b2c45e810cb3d65a3cc76e4905a159eaa486

verified: 7/18/2026, 8:06:18 AM

view raw JSON →