skill-installer

Run scripts/install-skill-from-github.py with --repo owner/repo and --path pointing to the skill directory, or pass a full GitHub URL with --url. The script downloads the repo, validates that SKILL.md exists, and copies the skill into $CODEX_HOME/skills.

Run scripts/list-skills.py to fetch the curated list from the openai/skills repository via the GitHub API. It prints a numbered list with already-installed skills annotated, and supports --format json or --path skills/.experimental for the experimental list.

Yes. Private repos are accessed using existing git credentials or a GITHUB_TOKEN/GH_TOKEN environment variable for downloads. If the direct download fails with auth errors, the installer falls back to git sparse checkout over HTTPS, then SSH.

The installer aborts with an error stating the destination already exists. It does not overwrite existing skills, so you must remove or rename the existing directory in $CODEX_HOME/skills before reinstalling.

Downloads fail when the repository is private without credentials, the ref or path is wrong, or the GitHub API is unreachable. In auto mode, HTTP 401, 403, or 404 errors trigger a fallback to git sparse checkout instead of failing immediately.