SkyShannonProver/shannon-prover

LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)

This repository also configures its own agents. See what shannon-prover tells them →

19Stars on the repository

5Mods indexed here, across every type

todayLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

MCP server Claude CodeCodexCursor +2

MCP server "shannon-prover" as configured in SkyShannonProver/shannon-prover. Runs locally from the shannon-prover Python package.

not rated 19 today A tokens not measured