lean-explore
01Plugin Claude Code
Search Lean 4 declarations through the hosted LeanExplore MCP server.
not rated 76 2mo ago A
tokens not measured
copy · 100% Apache-2.0
76Stars on the repository
2Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown