# Lean Explore

> Search Lean 4 declarations through the hosted LeanExplore MCP server.

## Facts
- Page: https://tashan.sh/capability/plugin-justincasher-lean-explore-lean-explore
- tashan id: plugin:justincasher/lean-explore/lean-explore
- Source: https://github.com/justincasher/lean-explore
- Type: plugin
- Category: other
- tashan score: 59.0 / 100
- Adoption: 31.0
- Upkeep: not measured
- Freshness: 96.0
- Evidence coverage: 59% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- GitHub stars: 76
- License: Apache-2.0
- Official: no

## Install

```sh
/plugin marketplace add justincasher/lean-explore
/plugin install lean-explore@lean-explore
```

## Security audit
Not scanned. We audit npm-published capabilities; this one has no npm package we can resolve, or has not reached the queue. This is not a clean bill of health.

---
Measured 2026-08-14 by tashan (https://tashan.sh) from public evidence. Scorer s5.