lean-mcp
01Skill Claude CodeCodex
This skill enables interactive inspection of Lean proof states using the Lean Language Server Protocol via mcporter.
not rated 208
+1 yesterday A SkillSpector: pass 0 tokens
original MIT
208Stars 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