Leanforge Mcp

io.github.sandraschi/leanforge-mcp · v0.1.1

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

Source code Set it up

Connect Runs on your machine

Terminal

claude mcp add leanforge-mcp -- https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb

claude_desktop_config.json

{
  "mcpServers": {
    "leanforge-mcp": {
      "command": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb",
      "args": []
    }
  }
}

~/.cursor/mcp.json

{
  "mcpServers": {
    "leanforge-mcp": {
      "command": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb",
      "args": []
    }
  }
}

.vscode/mcp.json

{
  "servers": {
    "leanforge-mcp": {
      "type": "stdio",
      "command": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb",
      "args": []
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

Package	`https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb` (MCPB, stdio)
First published	19 Oct 2026
Last updated	19 Oct 2026
Registry name	`io.github.sandraschi/leanforge-mcp`

More search and web servers See all

Live status

Local install

Installed and run on your own machine, so there is no public endpoint to check.

Pair it with live search

Agents that use Leanforge Mcp often also need current facts. NestDaddy MCP gives your AI today's internet: web search, real-time breaking news and full page reading in one connector.

See NestDaddy MCP

For maintainers

[![NestDaddy MCP](https://nestdaddy.com/mcp/servers/io-github-sandraschi-leanforge-mcp/badge.svg)](https://nestdaddy.com/mcp/servers/io-github-sandraschi-leanforge-mcp)

Add the badge to your README. It turns green while your server passes our daily check. Listing details come from the official MCP registry; update them there.

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.