skill-implementer

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