$ npx skills add https://github.com/caidanw/skills --skill lean-ts-patterns
No SKILL.md available for this skill.
>-