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.
- Score
- 63.0031 signal
- Evidence
- 19 stars
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- pipedream-mcppassed install test80.000
- withoneai-mcp11 stars · 4 forks69.349
- shuttle3 stars · 1 fork44.256
What it is
A server that connects LLM agents to the EasyCrypt proof assistant for writing machine-checked cryptographic proofs, providing a structured panel and managed sessions.
When to use it
A server that connects LLM agents to the EasyCrypt proof assistant for writing machine-checked cryptographic proofs, providing a structured panel and managed sessions.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.