Repo Task Proof Loop: AI-агенты для верифицируемой разработки

Установка

Установите навык как навык проекта.

Codex

.agents/skills/repo-task-proof-loop/

Claude Code

.claude/skills/repo-task-proof-loop/

Если вы используете оба инструмента в одном репозитории, установите их в обоих местах или сохраните одну каноническую копию и синхронизируйте ее.

Быстрые подсказки

Используйте эту подсказку для обычного процесса:

Выполнить задачу

Use $repo-task-proof-loop to do the task described below in this repository. Reuse the matching repo-local task if it already exists; if not, initialize it first and then continue automatically after init completes. You are explicitly authorized to use subagents and bounded parallel helper work when it materially helps. Choose the best internal orchestration automatically from the current task shape and tool surface. Keep the proof-loop phase explicit as you work so matching project agents can be picked automatically when the product supports that, otherwise continue on the main thread. Keep the task tree shallow, keep one integration builder responsible for evidence, and keep every verifier pass fresh.
...

Во всех подсказках замените ... на Файл задачи: <путь/к/файлу-задачи.md> в следующей строке или на текст задачи, вставленный в следующие строки.

Этот навык намеренно ориентирован на проверку, поэтому команда init всегда выполняется перед сборкой.

Для пользователей предполагаемое взаимодействие остается простым: запустите Codex, укажите $ repo-task-proof-loop и опишите задачу.

Быстрый старт

1. Установите навык в репозиторий.
2. Для нормального выполнения используйте Приглашение выполнить задачу или упомяните цикл проверки выполнения задачи репо $repo-task-proof-loop и опишите задачу.
3. Вот и все.

Вспомогательный скрипт

Вспомогательный скрипт в комплекте в настоящее время предоставляет три команды командной строки:

• init - создание репозитория-локальная папка задач, артефакты, руководства и субагенты
• validate
• status - проверка существующей инициализированной задачи.

Фазы рабочего процесса freeze, build, evidence, verify, fix и run являются командами уровня квалификации для агента, а не прямыми подкомандами CLI в этом пакете.

Установите SKILL_PATH в каталог установленных навыков:

Пример Codex

SKILL_PATH=.agents/skills/repo-task-proof-loop

Пример Claude Code

SKILL_PATH=.claude/skills/repo-task-proof-loop

Инициализация задачи:

python3 "$SKILL_PATH/scripts/task_loop.py" init \
  --task-id feature-auth-hardening \
  --task-file docs/tasks/auth-hardening.md

Или с помощью встроенного текста:

python3 "$SKILL_PATH/scripts/task_loop.py" init \
  --task-id feature-auth-hardening \
  --task-text "Implement auth hardening for session refresh and logout."

Проверить:

python3 "$SKILL_PATH/scripts/task_loop.py" validate \
 --task-id feature-auth-hardening

Запускайте validate только после завершения init. Если система сообщит, что инициализация выполняется, подождите и запустите снова.

Статус:

python3 "$SKILL_PATH/scripts/task_loop.py" validate \
  --task-id feature-auth-hardening

Используйте команду status после завершения init, если вам нужно стабильное состояние задачи. Если возвращается init_in_progress: true, повторите попытку после завершения init.

Полезные параметры:

• --guides auto|agents|claude|both|none
• --install-subagents both|codex|claude|none
• --force

С помощью --guides auto инициализатор сохраняет существующие файлы руководств, но он также гарантирует, что CLAUDE.md существует всякий раз, когда устанавливаются агенты Claude, и AGENTS.md существует всякий раз, когда устанавливаются агенты Codex.

Проверка

В комплект поставки входит тест на дымность:

python3 "$SKILL_PATH/scripts/verify_package.py "

Он проверяет структуру навыков, инициализирует временные репозитории, устанавливает артефакты задач и субагенты, а также проверяет сгенерированные пакеты задач и поведение руководства.