N/A
SkyShannonProver/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.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/SkyShannonProver/shannon-prover
- Framework mcp
- Sources glama, github
- First Seen Jul 10, 2026
- Repository github.com/SkyShannonProver/shannon-prover
Browse more:
Search all agents
Ecosystem Report