Back to search
20
MCP

iflow-mcp_ooo0ooo-lean-lsp-mcp

pypi/iflow-mcp_ooo0ooo-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

lean-lsp-mcp
Lean Theorem Prover MCP
0 tools
iflow-mcp_invariantlabs-ai-mcp-scan
MCP Scan tool
0 tools
iflow-mcp_z3
Z3 Theorem Prover MCP Server
0 tools
iflow-mcp-prospectio-api-mcp
Prospectio MCP API
0 tools
iflow-mcp_coin-api-mcp
the crypto api
0 tools
iflow-mcp_lethain-systems-mcp
Add your description here
0 tools

How to use

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

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