Developer · Local MCP server
Leanforge MCP
MCP server for AI-driven formal proof search in Lean 4.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
io.github.sandraschi/leanforge-mcp- Version
- 0.1.0
- Status
- Active
- Category
- developer
- Transport
- stdio (local process)
- Package
- MCP Bundle (.mcpb)
- Published
- 2026-08-28
- Updated
- 2026-08-28
- Publisher
- sandraschi (GitHub) · 7 servers with pages here
- Repository
- github.com/sandraschi/leanforge-mcp
- Source
- Registry API entry
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpbSHA-256 checksum stated | — | stdio |
How to connect Leanforge MCP
Leanforge MCP runs locally from an MCP Bundle: a single downloadable archive holding a local server and a manifest that describes it: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs a client that installs MCP Bundles; the file is opened in, or added to, that client.
Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More from sandraschi (GitHub)
| Server | Runs |
|---|---|
| Godot MCPGodot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU particles, an... | Local · stdio |
| Grandorgue MCPGrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set management, m... | Local · stdio |
| Mixx Dj MCPFastMCP server for Mixxx DJ software control via OSC protocol. | Local · stdio |
| Overte MCPOverte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ... | Local · stdio |
| Qcad MCPQCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and REST API. | Local · stdio |
| Resonite MCPResonite social VR platform MCP server for natural language control of avatars, worlds, and Proto... | Local · stdio |
More developer servers
| Server | Runs |
|---|---|
| Leadership AgentMCP-Server zum Buch 'Zukunft führen' (Dr. Jörg Krauter): BANI & Leadership-Impulse. | Remote · HTTP |
| LeadFoxConnectMarketo MCP server for AI. 130 tools to operate Marketo from Claude, Cursor, or ChatGPT. | Remote · HTTP |
| LeakRank GuardScans code changes for leaked secrets and insecure config, with actionable fixes for AI agents. | Local · stdio |
| lean-memoryEmbedded, local-first agent memory: one SQLite file per namespace, no server, no cloud. | Local · stdio |
| leanroute.devLeanroute MCP: route to 13 LLM providers, check pricing/usage/credit, manage keys from any agent. | Local · stdio |
| Leantime MCP (Unofficial)Unofficial MCP server for Leantime: 42 agent-first tools, backup/restore, dry-run validation. | Local · stdio |
| LeanTokenToken-bounded repository context for coding agents over MCP. | Local · stdio |
| Learning Model Context ProtocolMCP server that can perform basic arithmetic operations and parse/evaluate arithmetic expressions. | Local · HTTP |