MCP server

Leanforge

io.github.sandraschi/leanforge-mcp

Checked 26 Oct 2026, 08:31 UTC · Checked against OSV.dev for malware and vulnerabilities; never run by us

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

Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Runs on your computer

Sets up in

Claude Desktop

Last checked

26 Oct 2026, 08:31 UTC

Connect it to your agent

Claude Desktop

Download https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb and open it with Claude Desktop.

Runs on your computer with your permissions: check the package and its source before installing.

Browse

• GitHub tools
• GitHub and code hosting

Related MCP servers

• Kaiku
  Issue tracker and wiki for teams and their agents: find, file and update issues, write pages.
• Lemma Park
  Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
• AgentWorld — Live AI Agent Economy
  Live AI agent economy on Base L2: agents, credit files, games, jobs, crypto news, x402 USDC tools.
• Swarm Tips — Earn, Spend, and Discover for AI Agents
  51 tools: on-chain verified tasks, staked games, x402 video, MCP search, agent reputation.
• K402
  Agent-payable APIs on Kaspa: LLMs, chain data, covenants, zk proofs — pay per call, no API key
• Gloam
  Private stablecoin payments for people and AI agents on mainnet, hosted or local with limits.
• PabandiOS
  Trust and settlement for AI agents: portable attestations, escrow, x402/USDC payments on Solana.
• API Tool Calls
  94 tools, one small door: home costs, fitness, QR, barcodes, Markdown, SEO, recalls.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.sandraschi/leanforge-mcp.svg)](https://aptlynx.net/servers/io.github.sandraschi/leanforge-mcp)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents