Plugin
lean4-subagents
Installation
1
Add the marketplace
/plugin marketplace add cameronfreer/lean4-skills2
Install plugins
/pluginRun these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.
Details & Metadata
From Marketplace