Skip to main content
Glama
Sign In
119,473 servers. Updated

Some filters or related results are temporarily unavailable. Server results are shown below.

"author:r-irbe" matching MCP servers:

GET /v1/servers – MCP directory API reference

  • lean-lsp-mcp

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