← Browse
lean-explore
lean-explore ★ 81
Search Lean 4 declarations through LeanExplore's hosted MCP server without requiring sign-in, browser authorization, or API keys. The plugin provides read-only access to an indexed corpus of Lean packages with rate-limited public endpoints.
Install
> /plugin marketplace add lean-explore/lean-explore/tree/HEAD/plugins/lean-explore
> /plugin install lean-explore
Source: https://github.com/lean-explore/lean-explore/tree/HEAD/plugins/lean-explore
What it's made of
1 MCP server
- Commands
- 0
- Agents
- 0
- Skills
- 0
- MCP servers
- 1
- Hooks
- 0
What it needs & plugs into
- API keys
- none
- Paid services
- none detected
- External tools
- none
- Talks to
www.leanexplore.com
Analyzed . Facts extracted from the plugin's files. Prose generated by claude-haiku-4-5-20251001.
Is this your plugin?
Claim it to keep the card accurate and enter the weekly contest. Requires signing in as the GitHub owner (lean-explore).