Skip to main content
Glama
Sign In
Shannon Prover

Shannon Prover

by SkyShannonProver
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to Shannon Prover

No user-submitted related servers found.

    Related Servers

    • easy-crypt-mcp

      davidscode404
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to load, inspect, test, and repair machine-checked cryptographic proof files by wrapping EasyCrypt's batch CLI in six tools that report open goals and diagnostics. Agents can try tactic snippets on temporary copies, then commit only the steps that check, while the file itself holds all proof state.
      MIT

    • easy-crypt-mcp

      science-works
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to check and repair EasyCrypt proofs by inspecting proof states, safely trying tactics, applying accepted snippets, and searching the standard library through EasyCrypt's batch CLI.
      MIT

    • rocq-piler

      scidonia
      A
      license
      Not graded
      quality
      D
      maintenance
      MCP server that bridges LLMs with the Rocq (Coq) proof assistant via LSP, enabling interactive theorem proving with AI.
      9
      Apache 2.0

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Maintenance

    ActivityActive
    ResponsivenessNo issues

    Resources