Skip to main content
Glama
sandraschi

leanforge-mcp

by sandraschi
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to leanforge-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.
      22
      72,807 PyPI
      522
      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

    • axle-mcp

      Vilin97
      F
      license
      Not graded
      quality
      D
      maintenance
      Integrates the AXLE (Axiom Lean Engine) CLI with AI assistants to provide comprehensive tools for Lean 4 proof engineering. It enables users to validate, repair, and transform Lean theorems through a remote API without requiring a local Lean installation.
      2
      -

    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