$ loading_
A server that connects LLM agents to the EasyCrypt proof assistant for writing machine-checked cryptographic proofs, providing a structured panel and managed sessions.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "Shannon Prover" yet — see the docs or source repo.