Leanforge Mcp

io.github.sandraschiv0.1.0Updated Sep 23, 2026

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

VerifiedSTDIODesktop onlyCloud & InfrastructureWeb Search & ScrapingAI & ML

Installation

In SourceWeft

  1. Open Leanforge Mcp in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Desktop only via STDIO. STDIO servers start a local process, so they need the SourceWeft desktop host.

Other MCP clients

Follow the launch instructions in the repository.

Tools

0
Tool metadata has not been indexed yet.

Version history

1
  1. v0.1.0LatestSep 16, 2026