Shannon Prover (SkyShannonProver/shannon-prover) is an MCP server listed on the M8ven Trust Index. It scores 60 out of 100, grade C. No publisher has claimed this listing.

Back to MCP Trust IndexM8ven
C
Caution
60/100

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

Caution. Specific findings reduced this grade. They are listed on the page. Grades reflect the full trust pyramid: code, verification depth, and reputation. New projects cap at C until adoption is earned.

How we verified

⚡ Live Monitored: not connected

Verified is a snapshot. Live keeps it current, and builds your track record.

⚡ Connect GitHub → continuous verification on every pushwhy connect →

Who stands behind it

SkyShannonProver

Source: 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. Or connect your repo for our deepest verification, Live Monitored: read-only, revoke anytime. What we access →

⚡ Connect GitHub for Live Monitored

Install from

Glamanot scored here

The grade above is for the source repository. Registries can serve a different version, so we mark the ones we were not able to read.

// 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.
// environment variables
To run this server yourself, you supply these values. They go in your own MCP client configuration and stay on your machine. The secret label means the value is sensitive, not that the server mishandles it.
configBUNDLE_ROOTS
configSHANNON_MCP_READY_TIMEOUT_S
configSHANNON_MANAGER_OPERATION_TIMEOUT_S
configEVAL_TARGET_LEMMA
configSHANNON_SUITE_WILL_BUNDLE
configEC_WARM_PROBE
configEC_DAEMON_SESSION_TTL_SECONDS
configEC_DAEMON_SOCKET
configWHY3EC_SOCKET
configEC_SESSION_DIR
configINTERLEAVED_RUN_DIR
configSHANNON_TMP_DIR
configSHANNON_SKIP_BOOTSTRAP_GUARD
configINTERLEAVED_SHANNON_INVOCATION_ID
configINTERLEAVED_CONTINUATION_OF
configSHANNON_MCP_SPAWN_RETRIES
configSHANNON_NODE_DEADLINE_EPOCH
configSHANNON_EC_DAEMON
configSHANNON_GIVE_UP_WINDOW_S
configSHANNON_GIVE_UP_ALLOW_AFTER
configSHANNON_REPLAY_AGG_BUDGET
configSHANNON_REPLAY_AGG_BUDGET_PER_TACTIC
// quality suggestions

Tools detected

No tools extracted — insufficient content to verify at Tier 2

Tests exist

No test files found

Add tests that exercise each declared tool.

Claim the listing to review these findings one by one and send us a correction where you disagree, straight to the team. Claiming also means we tell you when the grade moves, and reach you first if we find anything urgent.

// full audit trail
The findings above are the summary. The full trail, every check we ran, each deduction, the network hosts observed and the dependency advisories, goes to verified publishers, along with an alert whenever a new one lands. Verified publishers can also review each finding and dispute it in one click. Publisher corrections have sharpened several of our checks this month, because the maintainer knows the codebase better than any scanner.
// 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 Verified](https://m8ven.ai/badge/mcp/skyshannonprover/shannon-prover?variant=verified)](https://m8ven.ai/mcp/skyshannonprover/shannon-prover)
Shows verification status without the grade. Want the grade badge instead? Remove ?variant=verified from the URL.
commit: 8e3d0e2c85a1fd74682b417a7b961294eecf05c4
code hash: b99a22ecf2f1968e2fd7660d98a1a78031212f3636828bc1dc629a31d2630803
view raw JSON →
Check MCPs from inside your assistant
Tool Check · MCP

Vetting this one by hand? Tool Check is an MCP that scores other MCPs. Add it once and ask Claude, ChatGPT, or any MCP client to grade a server, surface CVEs, check the publisher, and suggest safer alternatives — before you install.

https://m8ven.ai/api/mcp/tool-check
check_toolsearch_toolscompare_toolsrecommend_alternativescheck_publisherreport_concern
How to add it →Free · no account needed · works in any MCP client