lean-lsp-mcp
Lean Theorem Prover MCP
Python
★ 542 stars
Last pushed 2026-10-31
License: MIT
Connect
See the repository for installation instructions: https://github.com/oOo0oOo/lean-lsp-mcp
Related servers
R
REA
Other
Reverse engineer anything from your terminal or agent with one CLI and MCP server.
★ 414,893
MCP Server
B
browser-use
Other
Browser agents and stealth cloud browsers for AI: run web tasks, fill forms, extract data.
★ 119,658
MCP Server
Reachable
P
paperclip
Other
Trending hip-hop artist momentum scores across four cultural dimensions.
★ 109,343
MCP Server
Reachable
W
World Monitor
Other
Real-time global intelligence across conflict, markets, energy, trade, shipping and cyber. 99 tools.
★ 89,852
MCP Server
Requires auth
R
ruflo
Other
AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
★ 80,401
MCP Server
F
Front-End Checklist
Other
Review frontend code and live pages against 386 quality-gated web development rules.
★ 74,613
MCP Server