Install, update, sync, remove, list, and diagnose THIRD-PARTY Agent Skills hosted on GitHub, mounted as git submodules under workspace/skills/.
