Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get Started$pwd:
profiling
// Profile Lean programs with demangled names using samply and Firefox Profiler. Use when the user asks to profile a Lean binary or investigate performance.
$ git log --oneline --stat
stars:8,133
forks:858
updated:March 1, 2026 at 07:09
SKILL.md