Skip to main content
Glama
rafaelescrich

quarry-mcp

by rafaelescrich
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to quarry-mcp

No user-submitted related servers found.

    Related Servers

    • Lean LSP MCP

      oOo0oOo
      A
      license
      A
      quality
      A
      maintenance
      Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
      23
      268,888 PyPI
      513
      MIT

    • lean-lsp-mcp

      r-irbe
      A
      license
      A
      quality
      A
      maintenance
      Enables AI coding agents to perform Lean 4 formal verification, navigate project symbols offline, and inspect C FFI bindings.
      5
      Apache 2.0

    • AI Knowledge Base MCP Server

      Alpha-W0lf
      A
      license
      B
      quality
      B
      maintenance
      Provides read-only hybrid RAG search and discovery over a local-first AI knowledge corpus, enabling semantic and keyword search, browse, digest, and status tools.
      4
      PolyForm Noncommercial 1.0.0
    • mentu-navigator-mcp by mentu-ai

      mentu-navigator-mcpofficial

      mentu-ai
      A
      license
      Not graded
      quality
      C
      maintenance
      Provides read-only, provenance-first repository navigation for agents and humans, with ranked lexical retrieval, exact query, document handles, symbol context, and change impact analysis.
      63 npm
      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

    ActivityMaintained
    ResponsivenessNo issues

    Resources