lean-explore
01MCP server Claude CodeCodexCursor +2
MCP server "lean-explore", hosted remotely at www.leanexplore.com, as configured in justincasher/lean-explore.
76 1mo ago A
tokens not measured
Apache-2.0
76Stars on the repository
3Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown