Loading MCP server directory, please wait...
MCP server for AI-driven formal proof search in Lean 4
npx @getmcp/cli add io.github.sandraschi/leanforge-mcpRequires Python 3.10+. Community-contributed server. Review source before installing.
Config file: ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"io.github.sandraschi/leanforge-mcp": {
"command": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb"
}
}
}