Skip to main content
Glama
Sign In
easy-crypt-mcp

easy-crypt-mcp

by science-works
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to easy-crypt-mcp

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

    • CHASE MCP Server

      chase-cps
      A
      license
      B
      quality
      A
      maintenance
      Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.
      39
      976 PyPI
      BSD 3-Clause

    • leanscreen

      ibrahimmian36
      F
      license
      A
      quality
      D
      maintenance
      A calibrated faithfulness screen for informal↔Lean 4 statement pairs, served over MCP. It provides deterministic checks and deep LLM-based analysis to help draft Lean statements.
      2
      7
      -
    • narya-mcp

      narya-mcpofficial

      formalized-si
      A
      license
      A
      quality
      C
      maintenance
      Enables LLM agents to typecheck Narya files and develop proofs interactively by loading files into live sessions, inspecting and solving holes, searching for lemmas, and replaying edits.
      17
      Apache 2.0

    • Pact Tooling

      NOtBobs-Emporium-Of-Wonder
      -
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to safely run Pact 5 REPL tests, scan modules for critical language traps, estimate gas, generate contracts, and invoke formal verification via a standalone prover plugin.
      -

    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

    ActivityMaintained
    ResponsivenessSyncing

    Resources