lean-lsp-mcp MCP Server
oOo0oOo/lean-lsp-mcp
Are you the maintainer of oOo0oOo/lean-lsp-mcp? Claim this listing →
Lean Theorem Prover MCP
Add AgentRank to Claude Code Discover and compare tools like oOo0oOo/lean-lsp-mcp — your AI finds the right one automatically
Get API Access → claude mcp add agentrank -- npx -y agentrank-mcp-server Overview
oOo0oOo/lean-lsp-mcp is a Python tool licensed under MIT. Lean Theorem Prover MCP
Ranked #1043 out of 24840 indexed tools.
In the top 5% of all indexed tools.
Has 25 contributors.
Ecosystem
Score Breakdown
Stars 15% 516
516 stars → growing community
Freshness 25% 1mo ago
Last commit 1mo ago → moderate activity
Issue Health 25% 93%
69/74 issues closed → responsive maintainer
Contributors 10% 25
25 contributors → active community
Dependents 25% 0
No dependents → no downstream usage
npm Downloads N/A
PyPI Downloads 13% 164,372/wk
164,372 weekly installs → widely installed
Forks 82
Description Brief
License MIT
Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →
How to Improve
Description low impact
Freshness high impact
Dependents medium impact
Badge all embed codes →
[](https://agentrank-ai.com/tool/oOo0oOo--lean-lsp-mcp/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/tool/oOo0oOo--lean-lsp-mcp/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/oOo0oOo--lean-lsp-mcp" alt="AgentRank"></a> Matched Queries
Get the weekly AgentRank digest
Top movers, new tools, ecosystem insights — straight to your inbox.