Skip to main content
Glama
91,309 servers. Updated

"author:rafaelescrich" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • quarry-mcp

    rafaelescrich
    A
    license
    Not graded
    quality
    C
    maintenance
    Enables querying a Lean 4 proof corpus registry using tools for full-text/hash search, declaration lookup, dependency closure, similarity, and corpus statistics.
    MIT