lean-lsp-mcp
Lean Theorem Prover MCP
oOo0oOo/lean-lsp-mcp
View on GitHub ↗Lean Theorem Prover MCP
lean-lsp-mcp grew +3.9% in the last 30 days, ranks 365th of 2,123 in Protocols (MCP / A2A), last commit 25 days ago.
Star trajectory
80 days tracked2026-08-07536 stars today2026-10-26
Momentum
+3.9% in 30d, above the Protocols (MCP / A2A) median of +1.7%.
Maintenance
Last commit 25 days ago, staler than the median of 11d.
How it compares in Protocols (MCP / A2A)
lean-lsp-mcp
536
stars
+3.9% 30d
commit 25 days ago
Protocols (MCP / A2A) median
233
stars
+1.7% 30d
commit ~11d ago
Leader · rea
386.1k
stars
+92948.2% 30d
commit today
Ranked 365th of 2,123 by stars.
- Language
- Python
- License
- MIT License
- Contributors
- 25
- Forks
- 83
- Watchers
- 13
- Open issues
- 3
- Releases
- 30
- Created
- 2025-03-29
- Stars this week
- +6
You've seen where lean-lsp-mcp stands today.
Get the moves before everyone else: the 5 Protocols (MCP / A2A) repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.