Loading languages...
LE

lean-lsp-mcp

@oOo0oOo92

Lean Theorem Prover MCP

lean
theorem prover
lsp
mathematics
formal verification

# mcpServer Config

{
  "servers": {
    "lean-lsp": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "lean-lsp-mcp"
      ],
      "env": {
        "LEAN_PROJECT_PATH": "/path/to/lean/project"
      }
    }
  }
}

# stdio

uvx lean-lsp-mcp

# sseURL

http://127.0.0.1:8000/sse

# streamableURL

http://127.0.0.1:8000/mcp
Transport:
stdio
streamable
sse
语言:
Python
创建时间:3/29/2025
更新时间:7/31/2025
主页: