🔧

lean-lsp-mcp

🔧MCP Server

project-numina/lean-lsp-mcp

Installation

Claude CLIAdd MCP server via Claude CLIAuto-generated from README. View full documentation on GitHub →

$claude mcp add lean-lsp uvx lean-lsp-mcp

Server ConfigurationServer configuration (JSON)

json

{
    "servers": {
        "lean-lsp": {
            "type": "stdio",
          ...

glama

Last UpdatedMar 11, 2026