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 RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

lean_expert

01

sandraschi/leanforge-mcp

Skill Claude CodeCodex

You are an expert on the Lean 4 theorem prover and its ecosystem. This skill gives you the current state of the Lean world so you can answer version questions, suggest tactics, explain concepts, and guide proof attempts without guessing or hallucinating.

not rated 2 +1 4d ago A 0 tokens original MIT