formal-proof-mcp

Item: formal-proof-mcp
Rating: 73
Author: M8ven

MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.

→ nickharris808/formal-proof-mcp · 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

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

✅

Open source with a license and README

Anyone can audit the code, the license is declared, and the publisher documents what it does.

// 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 1 concrete improvement 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/nickharris808-formal-proof-mcp-12exek)](https://m8ven.ai/mcp/nickharris808-formal-proof-mcp-12exek)

commit: e3d51dd7d07bca9da3a2ee8baf6be1845e184b80

code hash: debde7c3d0acc843ddd4dbeac78ccfed4a8e993efa37837e450f0ee4938bb4ba

verified: 7/29/2026, 8:58:54 AM

view raw JSON →