Shannon Prover

A server that connects LLM agents to the EasyCrypt proof assistant for writing machine-checked cryptographic proofs, providing a structured panel and managed sessions.

→ SkyShannonProver/shannon-prover · 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.

// required environment variables

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

configEC_SESSION_DIR

configEC_DAEMON_SOCKET

configWHY3EC_SOCKET

configEC_WARM_PROBE

configEC_DAEMON_SESSION_TTL_SECONDS

configSHANNON_PANEL_INVARIANTS

configEVAL_TARGET_LEMMA

configSHANNON_LEGACY_DISPLAY

// 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 2 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/skyshannonprover-shannon-prover-hzbtj4)](https://m8ven.ai/mcp/skyshannonprover-shannon-prover-hzbtj4)

commit: 4fbe0dcbed09037b7f6b55b6541cba9a18b0c7d5

code hash: 0ebcf7683d3bf47b154b2b476f9fbb59b2f2f7736d51b7ec709c1bf5e4d82d49

verified: 7/10/2026, 10:07:37 AM

view raw JSON →