Back to search
20
MCP

lean-lsp-mcp

pypi/lean-lsp-mcp

Lean Theorem Prover MCP

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

iflow-mcp_ooo0ooo-lean-lsp-mcp
Lean Theorem Prover MCP
0 tools
lp-tool-mcp
lp tool mcp
0 tools
mcpbind-lean-lsp-mcp
MCP Server Package: lean-lsp-mcp
0 tools
llm-tools-mcp
MCP support for LLM CLI
0 tools
mcp-baselib
MCP utilities
0 tools
mcp-calculator-kel
a mcp calculator
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "lean-lsp-mcp": {
      "url": "None",
      "transport": "http"
    }
  }
}