LeanCode
Entry point for the LeanCode AI plugins marketplace. Explains what's available and helps contributors open PRs to add or improve plugins.
Entry point for the LeanCode AI plugins marketplace. Two manual skills:
/lean-core-usage — explains what the marketplace covers and which plugins are available./lean-contribute — walks a contributor through proposing a change and opening a PR.Both skills are manual-only (disable-model-invocation: true). They don't auto-fire on inferred intent.
Install the marketplace in your client (the supported list is in the root README), then run:
/lean-core-usage
It explains what's in the marketplace and points you at the right /<plugin>-usage for whatever you're doing.
/lean-contribute
Asks what kind of change you have in mind (tweak, new skill or rule, new plugin), shows the plugin shape, and prints the exact git/gh steps. CI validates every PR; gh pr checks <pr-number> reports the verdicts.
Install individual skills through the CLI fallback, or download the raw SKILL.md file.
/lean-core-usage
Explain what the LeanCode AI plugins marketplace covers, which plugins are available, and how to install them. Use when the user invokes `/lean-core-usage`, asks what this marketplace is, asks which plugins exist, or asks where to begin. Manual-only entry point — does not auto-fire.
npx skills add leancodepl/ai-plugins --skill lean-core-usage -a cursor/lean-contribute
Walk a contributor through proposing a change to the LeanCode AI plugins marketplace — tweaking an existing plugin, adding a new one, and opening a PR against `leancodepl/ai-plugins`. Use when the user invokes `/lean-contribute`, asks how to contribute, asks how to add a plugin, or wants to propose an improvement. Manual-only entry point — does not auto-fire.
npx skills add leancodepl/ai-plugins --skill lean-contribute -a cursor0 skills selected