"author:SkyShannonProver" matching MCP servers:

• Shannon Prover

  SkyShannonProver

  A

  license

  -Not graded

  quality

  B

  maintenance

  A server that connects LLM agents to the EasyCrypt proof assistant for writing machine-checked cryptographic proofs, providing a structured panel and managed sessions.

  Updated 4 days ago (2026-08-20 06:04 UTC)

  18

  MIT