Skip to main content
Glama
104,556 servers. Updated

"author:science-works" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • 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