AgentSkillsCN

skill-installer

从精选列表或 GitHub 仓库路径中，将 Codex 技能安装至 $CODEX_HOME/skills 目录。适用于用户请求列出可安装技能、安装精选技能，或从其他仓库（包括私有仓库）安装技能时使用。

SKILL.md
--- frontmatter
name: skill-installer
description: Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including private repos).
version: 1.0.0

Skill Installer

Helps install skills. By default these are from https://github.com/openai/skills/tree/main/skills/.curated, but users can also provide other locations.

Use the helper scripts based on the task:

  • •List curated skills when the user asks what is available, or if the user uses this skill without specifying what to do.
  • •Install from the curated list when the user provides a skill name.
  • •Install from another repo when the user provides a GitHub repo/path (including private repos).

Install skills with the helper scripts.

Communication

When listing curated skills, output approximately as follows, depending on the context of the user's request: """ Skills from {repo}:

  1. •skill-1
  2. •skill-2 (already installed)
  3. •... Which ones would you like installed? """

After installing a skill, tell the user: "Restart Codex to pick up new skills."

Scripts

All of these scripts use network, so when running in the sandbox, request escalation when running them.

  • •scripts/list-curated-skills.py (prints curated list with installed annotations)
  • •scripts/list-curated-skills.py --format json
  • •scripts/install-skill-from-github.py --repo <owner>/<repo> --path <path/to/skill> [<path/to/skill> ...]
  • •scripts/install-skill-from-github.py --url https://github.com/<owner>/<repo>/tree/<ref>/<path>

Behavior and Options

  • •Defaults to direct download for public GitHub repos.
  • •If download fails with auth/permission errors, falls back to git sparse checkout.
  • •Aborts if the destination skill directory already exists.
  • •Installs into $CODEX_HOME/skills/<skill-name> (defaults to ~/.codex/skills).
  • •Multiple --path values install multiple skills in one run, each named from the path basename unless --name is supplied.
  • •Options: --ref <ref> (default main), --dest <path>, --method auto|download|git.

Notes

  • •Curated listing is fetched from https://github.com/openai/skills/tree/main/skills/.curated via the GitHub API. If it is unavailable, explain the error and exit.
  • •Private GitHub repos can be accessed via existing git credentials or optional GITHUB_TOKEN/GH_TOKEN for download.
  • •Git fallback tries HTTPS first, then SSH.
  • •The skills at https://github.com/openai/skills/tree/main/skills/.system are preinstalled, so no need to help users install those. If they ask, just explain this. If they insist, you can download and overwrite.
  • •Installed annotations come from $CODEX_HOME/skills.

Scientific Skill Interleaving

This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:

Graph Theory

  • •networkx [○] via bicomodule
    • •Universal graph hub

Bibliography References

  • •general: 734 citations in bib.duckdb

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 8. Degeneracy

Concepts: redundancy, fallback, multiple strategies, robustness

GF(3) Balanced Triad

code
skill-installer (−) + SDF.Ch8 (−) + [balancer] (−) = 0

Skill Trit: -1 (MINUS - verification)

Connection Pattern

Degeneracy provides fallbacks. This skill offers redundant strategies.

Cat# Integration

This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:

code
Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #26D826

GF(3) Naturality

The skill participates in triads satisfying:

code
(-1) + (0) + (+1) ≡ 0 (mod 3)

This ensures compositional coherence in the Cat# equipment structure.