leanforge-mcp
io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
Description as published in the official MCP registry.
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 1 | github.com/sandraschi/leanforge-mcp |
| Last push | 2026-10-02 | GitHub API |
| Licence | MIT | GitHub API |
| Registry version | 0.1.0 · active · updated 2026-08-28 | registry |
| Package | mcpb: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.
Related servers
- qcad-mcp QCAD MCP server - DXF/DWG floor plans to SVG preview + STL extrusion via MCP tools and…
- resonite-mcp Resonite social VR platform MCP server for natural language control of avatars, worlds…
- godot-mcp Godot MCP server - Godot 4.x engine control via TCP bridge, STL/GLB/OBJ import, GPU…
- mixx-dj-mcp FastMCP server for Mixxx DJ software control via OSC protocol
- grandorgue-mcp GrandOrgue pipe organ simulator MCP server - MIDI bridge, organ control, sample set…
- yahboom-mcp SOTA 2026 Yahboom Raspbot v2 ROS 2 MCP Server
Badge for your README
Shows the result of our latest check and links back to this page.
[](https://openforallofus.com/tools/io.github.sandraschi/leanforge-mcp)Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.sandraschi/leanforge-mcp.