LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
Latest release v0.2.0 · 1 Oct 2026
4 files for Codex, Claude Code and OpenCode: prove, prove, shannon-prover AGENTS.md, shannon-prover CLAUDE.md — 2,765 tokens loaded in every session.
AGENTS.md A 2,125 tok CLAUDE.md A 640 tok .agents/skills/prove/SKILL.md A 37 tok .claude/commands/prove.md A 10 tok These files are SkyShannonProver/shannon-prover's own configuration — they tell Codex, Claude Code and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.