{"id":"22ae4a11-c8bc-4375-aa63-992e7e8d81a0","slug":"curated-mcp-lean-lsp-mcp","name":"lean-lsp-mcp","description":"Interact with the [Lean theorem prover](https://lean-lang.org/) via the Language Server Protocol.","capabilities":[],"protocols":["MCP"],"safetyScore":95,"overallRank":58.2,"trustScore":null,"trust":null,"source":"CURATED_SEEDS","updatedAt":"2026-04-14T06:34:57.429Z"}