Claude MarketplacesSubmit
justincasher avatar

justincasher/lean-explore

Plugin marketplace

Plugins for searching Lean 4 declarations with LeanExplore.

GitHub stars
82
plugin
1
last updated
Nov 11, 2026
View on GitHub

Add marketplace

/plugin marketplace add justincasher/lean-explore

Run it inside Claude Code, then install plugins from it with /plugin.

Plugins

1lean-exploreSearch Lean 4 declarations through the hosted LeanExplore MCP server.0.1.0version

Sponsors

Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthlyAgent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any language

Details

Repository
github.com/justincasher/lean-explore
Categories
community
Listed since
Aug 19, 2026