Leanforge MCP Server
Rank #25,521io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
Leanforge MCP Server is a Model Context Protocol (MCP) server published by sandraschi. It ranks #25,521 of 115,460 servers tracked on MCP Toplist. Leanforge MCP Server is listed on Official MCP, with 1 tracked version. It was first listed on Aug 28, 2026 and most recently updated on Aug 28, 2026.
Ranks ahead of 89,939 of 115,460 servers on MCP Toplist.
Use Leanforge MCP Server
No credentials or required configuration declared — add it to your MCP client and go.
Published as mcp bundle `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb` — install it through your client’s extension manager.
Published as mcp bundle `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb` — install it through your client’s extension manager.
Published as mcp bundle `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb` — install it through your client’s extension manager.
Published as mcp bundle `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb` — install it through your client’s extension manager.
Published as mcp bundle `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb` — install it through your client’s extension manager.
Published as mcp bundle `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb` — install it through your client’s extension manager.
Published as mcp bundle `https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb` — install it through your client’s extension manager.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.sandraschi%2Fleanforge-mcp)<a href="https://mcptoplist.com/server/io.github.sandraschi%2Fleanforge-mcp"><img src="https://mcptoplist.com/badge/io.github.sandraschi%2Fleanforge-mcp.svg" alt="MCP Toplist: Top 25% of 115,460" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
sandraschi
Other servers by sandraschi
- pywinauto-mcp#2,804 · 5 vers
- CalibreMCP#3,465 · 3 vers
- OCR-MCP#3,599 · 3 vers
- virtualization-mcp#4,083 · 4 vers
- blender-mcp#4,200 · 3 vers
- worldlabs-mcp#4,340 · 1 ver
- inkscape-mcp#4,422 · 2 vers
- FreeCAD MCP#5,773 · 2 vers
- Qcad MCP Server#7,803 · 1 ver
- MiniMail MCP Server#8,127 · 2 vers
- Notepad++ MCP Server#8,695 · 1 ver
- Yahboom MCP Server#9,289 · 1 ver
Available versions (1)
| Version | Published |
|---|---|
| 0.1.0 | Aug 28, 2026 |
Frequently asked questions
- Who maintains Leanforge MCP Server?
- Leanforge MCP Server is maintained by sandraschi, which publishes 66 MCP servers (55 total versions) tracked on MCP Toplist.
- Is Leanforge MCP Server listed on the Official MCP Registry?
- Yes — Leanforge MCP Server is listed on the Official MCP Registry.
- How many versions does Leanforge MCP Server have?
- MCP Toplist tracks 1 version of Leanforge MCP Server, most recently published on Aug 28, 2026.
- Where can I find the source code for Leanforge MCP Server?
- The source code for Leanforge MCP Server is hosted at github.com/sandraschi/leanforge-mcp.