SkyShannonProver/shannon-prover
Skill Claude CodeCodex
Prove one EasyCrypt lemma in place with a managed Codex proof node. Use when the user explicitly invokes $prove or selects Prove from the Codex skill menu.
SkyShannonProver/shannon-prover
Command Claude Code
Prove an EasyCrypt lemma with Shannon Prover.
SkyShannonProver/shannon-prover
Instructions file CodexOpenCode
AGENTS.md instructions for SkyShannonProver/shannon-prover, covering shannon prover: repository contract, non-negotiable boundaries, runtime ownership, current agent-facing turn and runtime authority and identity.
SkyShannonProver/shannon-prover
Instructions file
Claude Code instructions for SkyShannonProver/shannon-prover, covering shannon prover: claude entry point, current boundary, easycrypt environment, eval safety and current documentation.
SkyShannonProver/shannon-prover
MCP server Claude CodeCodexCursor +2
MCP server "shannon-prover" as configured in SkyShannonProver/shannon-prover. Runs locally from the shannon-prover Python package.