agentmods.dev

sandraschi/leanforge-mcp

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

This repository also configures its own agents. See what leanforge-mcp tells them →

Open on GitHub

2Stars on the repository

4Mods indexed here, across every type

4d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

leanforge-mcp

sandraschi/leanforge-mcp

MCP server Claude CodeCodexCursor +2

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.

not rated 2 4d ago A tokens not measured original MIT