justincasher

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

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

lean-explore

01

justincasher/lean-explore

Plugin Claude Code

Bundles 1 MCP server

Search Lean 4 declarations through the hosted LeanExplore MCP server.

not rated 76 2mo ago A tokens not measured copy · 100% Apache-2.0