Skip to main content
Run any Skill in Manus
with one click
$pwd:

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.

$ git log --oneline --stat
stars:3
forks:0
updated:May 22, 2026 at 09:26
SKILL.md
readonly