🏪
justincasher-lean-explore
🏪Marketplacejustincasher/lean-explore
Add this Marketplace
Add marketplace in Claude Code:
$
/plugin marketplace add justincasher/lean-explore
|What it does
|A search engine for Lean 4 declarations
communitydeclarationsexplorehostedleanleanexploresearchserverthrough
1Plugins
76
Last UpdatedAug 8, 2026