Lean LSP MCP
mcp-serverStable
Lean Theorem Prover MCP
Stars
449
Δ stars 7d
+9
Δ stars 30d
—
Forks
71
Contributors
22
npm DL / wk
—
PyPI DL / wk
—
Language
Python
Last push
2026-07-17
About Lean LSP MCP
MCP server that allows agentic interaction with the Lean theorem prover via the Language Server Protocol using leanclient. This server provides a range of tools for LLM agents to understand, analyze and interact with Lean projects. 1. Install uv, a Python package manager. 2. Make sure your Lean project builds quickly by running `lake build` manually. 3. Configure your IDE/Setup 4. (Optional, highly recommended) Install ripgrep (`rg`) for local search and source scanning (`lean_verify` warnings). Install uv for your system. On Linux/MacOS:…
Read the full README on GitHub →
Lean LSP MCP growth signals this week
- Gained 9 stars in the last 7 days
- 4x the median weekly star growth of its category
Growth score: 21/100 week of 2026-07-20
Signal history
| Week | Score | Δ★ | Signal |
|---|---|---|---|
| 2026-07-20 | 21 | +9 | Stable |
| 2026-07-13 | 30 | +9 | Stable |
| 2026-07-06 | 20 | +9 | Stable |
| 2026-06-29 | 14 | +6 | Stable |
| 2026-06-22 | 29 | +7 | Stable |
| 2026-06-15 | 48 | +12 | Stable |
Lean LSP MCP alternatives
Projects in the same category, closest in size — picked by data, not opinion.
See all mcp-server projects ranked by growth →
Frequently asked questions
- Is Lean LSP MCP still maintained?
- Yes — actively maintained. The last push was on 2026-07-17, with 22 contributors.
- Is Lean LSP MCP growing?
- It is stable this week, with a growth score of 21/100. See the weekly history above.
- What are the best Lean LSP MCP alternatives?
- Closest by category and size in our data: CAD-MCP Server, Kagi MCP Server, Symbol Delta Ledger — full list with live signals above.
Topics
Embed this badge
Show your project's live signal in your README — it updates weekly with the data.
Tracked since 2026-06-17 · data as of 2026-07-19 · 4 open issues · 27 releases