lean-explore

1 mod in 1 plugin, 1 repository, 81 stars between them.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

lean-explore

01

lean-explore/lean-explore

Plugin Claude Code

Bundles 1 MCP server

Search Lean 4 declarations through the hosted LeanExplore MCP server.

not rated 81 17d ago A tokens not measured original Apache-2.0