Odel
leanforge mcp

leanforge mcp

Local
@sandraschiPythonMITUpdated 1w ago

MCP server for AI-driven formal proof search in Lean 4

View on GitHub

Runs locally over stdio

This server isn't hosted — your MCP client launches it from a package registry. Use one of the commands below, or drop the config into your client (e.g. Claude Desktop).

MCP Bundlehttps://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb

Distributed as an MCP bundle (`https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb`) — download it and import the bundle in your MCP client.