lean-explore
Search Lean 4 declarations through the hosted LeanExplore MCP server
by justincasherFree
Description
Search Lean 4 declarations through the hosted LeanExplore MCP server. Plugins for searching Lean 4 declarations with LeanExplore.
Information
Ratings & Reviews
No ratings yet
Be the first to rate lean-explore.
People also visit
ast-grep
Guide for writing ast-grep rules to perform structural code search and analysis
codex-skill
Leverage OpenAI Codex (GPT-5/GPT-5.1) for non-interactive automation mode
spec-kit-skill
GitHub Spec-Kit integration for constitution-based spec-driven development
lean-explore FAQ
What is lean-explore?
Search Lean 4 declarations through the hosted LeanExplore MCP server. Plugins for searching Lean 4 declarations with LeanExplore.
Is lean-explore free?
Yes. lean-explore is free to use.
Do I need to download lean-explore?
No. lean-explore runs in your browser at github.com, so there's nothing to install.
Who makes lean-explore?
lean-explore is made by justincasher.
What are the best lean-explore alternatives?
Popular alternatives to lean-explore include ast-grep, babysitter and autonomous-skill. See all lean-explore alternatives