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

skill-implementer

// Execute general implementation tasks following a plan. Invoke for non-Lean implementation work.

$ git log --oneline --stat
stars:13
forks:3
updated:February 18, 2026 at 18:52
SKILL.md
readonly