io.github.sandraschi/leanforge-mcp

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

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

Summary by lookupd

Lets an agent run automated proof search in Lean 4, query mathlib, and manage long-running proving jobs.

Install

No install method is listed in the registry entry.

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

• Version: 0.1.1
• Transports: stdio
• First indexed: 2026-11-01T09:53:43.534Z
• Last seen in registry: 2026-11-01T09:53:43.551Z
• Repository: https://github.com/sandraschi/leanforge-mcp

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.sandraschi/leanforge-mcp.svg)](https://lookupd.com/servers/io.github.sandraschi/leanforge-mcp)

• 62071 servers
• Last crawl: 2026-11-11T16:39:06.253Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp