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 →

23Stars on the repository

5Mods indexed here, across every type

23d agoLast 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 23 23d ago A tokens not measured