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
Skill Claude CodeCodex
This skill enables interactive inspection of Lean proof states using the Lean Language Server Protocol via mcporter.