lean-mcp
01Skill Claude CodeCodex
This skill enables interactive inspection of Lean proof states using the Lean Language Server Protocol via mcporter.
180 4d ago A 0 tokens
original MIT
180Stars on the repository
3Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown