sandraschi/leanforge-mcp

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

0Stars on the repository
3Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

leanforge-mcp

01

sandraschi/leanforge-mcp

MCP server Claude CodeCodexCursor

MCP server "leanforge-mcp" as configured in sandraschi/leanforge-mcp. Launched with https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-m.

0 yesterday A tokens not measured original MIT