Контекст
При попытке установить skill из корневого URL репозитория effect-ts-skills через системный skill-installer выяснилось, что текущая дистрибуция/документация недостаточно однозначна для двух реальных сценариев:
- Пользователь передаёт root GitHub URL репозитория.
- Пользователь пытается повторно установить или обновить уже установленный
effect-ts-guide.
Репозиторий при этом содержит один publishable skill:
git ls-tree -r --name-only origin/main | rg '^skills/.+/SKILL\.md$'
# skills/effect-ts-guide/SKILL.md
Фактическое поведение
Сценарий 1: установка по root GitHub URL
Команда:
python3 ~/.codex/skills/.system/skill-installer/scripts/install-skill-from-github.py \
--url https://github.com/ProverCoderAI/effect-ts-skills
Фактический результат:
Error: Missing --path for GitHub URL.
Проблема в том, что пользователь должен заранее знать внутренний путь skills/effect-ts-guide, хотя запрос на установку по URL репозитория выглядит естественно, особенно когда в репозитории только один skill.
Сценарий 2: повторная установка / обновление
Команды для воспроизведения:
tmp_home=$(mktemp -d)
export CODEX_HOME="$tmp_home"
python3 ~/.codex/skills/.system/skill-installer/scripts/install-skill-from-github.py \
--repo ProverCoderAI/effect-ts-skills \
--path skills/effect-ts-guide
python3 ~/.codex/skills/.system/skill-installer/scripts/install-skill-from-github.py \
--repo ProverCoderAI/effect-ts-skills \
--path skills/effect-ts-guide
Фактический результат второй команды:
Installed effect-ts-guide to /tmp/.../skills/effect-ts-guide
Error: Destination already exists: /tmp/.../skills/effect-ts-guide
То есть update/reinstall поток отсутствует: инсталлятор просто падает на существующем каталоге, а в репозитории нет канонической инструкции, как обновлять skill безопасно.
Ожидаемое поведение
Минимум одно из следующего должно быть true:
- Корневой URL репозитория должен быть достаточен для установки, если в репозитории ровно один skill.
- Репозиторий должен явно публиковать каноническую команду установки, например с точным
--path skills/effect-ts-guide.
- Репозиторий должен явно документировать поток обновления/reinstall для уже существующего
~/.codex/skills/effect-ts-guide.
Почему это важно
Сейчас пользовательский путь выглядит так:
$skill-installer https://github.com/ProverCoderAI/effect-ts-skills не работает.
- После ручного выяснения
--path skills/effect-ts-guide первая установка работает.
- Повторная установка для обновления снова ломается без встроенного upgrade-потока.
В итоге установка зависит от знания внутренней структуры репозитория и ручного управления каталогом ~/.codex/skills/effect-ts-guide.
Возможные направления исправления
- Добавить в README/описание репозитория явную команду установки через
skill-installer.
- Добавить раздел
Update / Reinstall с безопасным потоком обновления.
- Если это соответствует модели дистрибуции Codex, сделать root URL installable для single-skill repo или добавить repo-level shim/manifest, который позволит это определить автоматически.
Контекст
При попытке установить skill из корневого URL репозитория
effect-ts-skillsчерез системныйskill-installerвыяснилось, что текущая дистрибуция/документация недостаточно однозначна для двух реальных сценариев:effect-ts-guide.Репозиторий при этом содержит один publishable skill:
Фактическое поведение
Сценарий 1: установка по root GitHub URL
Команда:
python3 ~/.codex/skills/.system/skill-installer/scripts/install-skill-from-github.py \ --url https://github.com/ProverCoderAI/effect-ts-skillsФактический результат:
Проблема в том, что пользователь должен заранее знать внутренний путь
skills/effect-ts-guide, хотя запрос на установку по URL репозитория выглядит естественно, особенно когда в репозитории только один skill.Сценарий 2: повторная установка / обновление
Команды для воспроизведения:
Фактический результат второй команды:
То есть update/reinstall поток отсутствует: инсталлятор просто падает на существующем каталоге, а в репозитории нет канонической инструкции, как обновлять skill безопасно.
Ожидаемое поведение
Минимум одно из следующего должно быть true:
--path skills/effect-ts-guide.~/.codex/skills/effect-ts-guide.Почему это важно
Сейчас пользовательский путь выглядит так:
$skill-installer https://github.com/ProverCoderAI/effect-ts-skillsне работает.--path skills/effect-ts-guideпервая установка работает.В итоге установка зависит от знания внутренней структуры репозитория и ручного управления каталогом
~/.codex/skills/effect-ts-guide.Возможные направления исправления
skill-installer.Update / Reinstallс безопасным потоком обновления.