lean-mcp-toolkit

iiis-lean/lean-mcp-toolkit

★ 1 stars Python 💻 Code/Dev Tools Updated 8d ago

Unified Lean tool server with MCP, HTTP API, remote CLI, local shell, and configurable backends for diagnostics, declarations, LSP, and search

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "lean-mcp-toolkit": {
      "command": "uvx",
      "args": [
        "lean-mcp-toolkit"
      ]
    }
  }
}

Or install with pip: pip install lean-mcp-toolkit