lean4-theorem-proving-skillsAuto-discovered marketplace from cameronfreer/lean4-theorem-proving-skill
Run this command in your terminal to add the entire marketplace:
/plugin marketplace add https://claudepluginhub.com/marketplaces/themed/lean4-theorem-proving-skills.jsonThen install plugins: /plugin install [plugin-name]@lean4-theorem-proving-skills
lean4-theorem-proving4📚 Quick explanation: Claude Code plugins work like npm packages. First, you add a "marketplace" (a catalog of plugins), then install individual plugins from it.This plugin is available from the lean4-theorem-proving-skills curated marketplace.
This tells your CLI where to find plugins from the lean4-theorem-proving-skills marketplace. Skip this if you've already added it.
/plugin marketplace add https://claudepluginhub.com/marketplaces/plugins/lean4-theorem-proving.jsonAdds the "lean4-theorem-proving-skills" themed marketplace as a source
Now that the marketplace is added, install just the lean4-theorem-proving plugin from it.
/plugin install lean4-theorem-proving@lean4-theorem-proving-skillsInstalls lean4-theorem-proving from the lean4-theorem-proving-skills marketplace