Instalador de Skills
Ajuda a instalar skills. Por padrão, esses são de https://github.com/openai/skills/tree/main/skills/.curated, mas os usuários também podem fornecer outros locais.
Use os scripts auxiliares com base na tarefa:
- Liste skills curadas quando o usuário perguntar o que está disponível, ou se o usuário usar este skill sem especificar o que fazer.
- Instale da lista curada quando o usuário fornecer um nome de skill.
- Instale de outro repositório quando o usuário fornecer um repositório/caminho no GitHub (incluindo repositórios privados).
Instale skills com os scripts auxiliares.
Comunicação
Ao listar skills curadas, a saída deve ser aproximadamente a seguinte, dependendo do contexto da solicitação do usuário:
Skills de {repo}:
1. skill-1
2. skill-2 (já instalada)
3. ...
Quais você gostaria de instalar?
Após instalar uma skill, diga ao usuário: "Reinicie o Codex para aplicar novas skills."
Scripts
Todos esses scripts usam rede, portanto, ao executá-los no sandbox, solicite escalação de privilégios.
scripts/list-curated-skills.py(imprime a lista curada com anotações de instalação)scripts/list-curated-skills.py --format jsonscripts/install-skill-from-github.py --repo <dono>/<repo> --path <caminho/para/skill> [<caminho/para/skill> ...]scripts/install-skill-from-github.py --url https://github.com/<dono>/<repo>/tree/<ref>/<caminho>
Comportamento e Opções
- Padrão: download direto para repositórios públicos do GitHub.
- Se o download falhar com erros de autenticação/permissão, faz fallback para sparse checkout do Git.
- Interrompe se o diretório de destino da skill já existir.
- Instala em
$CODEX_HOME/skills/<nome-da-skill>(padrão:~/.codex/skills). - Vários valores
--pathinstalam múltiplas skills em uma execução, cada uma nomeada a partir do nome base do caminho, a menos que--nomeseja fornecido. - Opções:
--ref <ref>(padrãomain),--dest <caminho>,--method auto|download|git.
Notas
- A listagem curada é obtida de
https://github.com/openai/skills/tree/main/skills/.curatedvia API do GitHub. Se estiver indisponível, explique o erro e saia. - Repositórios privados do GitHub podem ser acessados por meio de credenciais git existentes ou token opcional
GITHUB_TOKEN/GH_TOKENpara download. - O fallback Git tenta HTTPS primeiro, depois SSH.
- As skills em https://github.com/openai/skills/tree/main/skills/.system já estão pré-instaladas, portanto não há necessidade de ajudar usuários a instalá-las. Se eles perguntarem, apenas explique isso. Se insistirem, você pode baixar e sobrescrever.
- As anotações de instalação vêm de
$CODEX_HOME/skills.