Skip to main content
Glama
91,309 servers. Updated

"author:r-irbe" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • 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