Open source alternatives to lean-explore
No open source apps like lean-explore yet.
About lean-explore
L
lean-explore
Search Lean 4 declarations through the hosted LeanExplore MCP server
Search Lean 4 declarations through the hosted LeanExplore MCP server. Plugins for searching Lean 4 declarations with LeanExplore.
- Price
- Free
- Made by
- justincasher
- Category
- AI Skills
- Website
- github.com/justincasher/lean-explore/lean-explore