skills
01project-numina/numina-lean-agent
Plugin Claude Code
Bundles 6 skills · 138 tokens together
Lean 4 theorem proving tools: search, verification, LLM-assisted proving.
not rated 280
+1 3mo ago A
tokens not measured
lean-lsp-mcp
02MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 21 7mo ago A
tokens not measured
original MIT