Boucle de Preuve de Tâche de Repo

Ce qu'elle fait

Fournit un flux de travail répétable et auditable pour implémenter et vérifier des tâches de codage non triviales à l'intérieur d'un dépôt. La compétence initialise .agent/tasks/<TASK_ID>/, installe des modèles de sous-agents limités au projet, et impose une boucle de gel de spécifications, de construction, de preuve, de vérification fraîche et de correction minimale qui produit des verdicts lisibles par machine et des fichiers de problèmes.

Quand l'utiliser

À utiliser pour les implémentations de fonctionnalités, les refactorisations, les migrations ou les corrections de bugs où vous avez besoin d'artefacts de preuve locaux au dépôt, d'une vérification reproductible et de modifications minimales et fiables. Déclencheurs : demandes d'implémentation de tâches significatives, exécution de vérificateurs ou production de verdicts PASS/FAIL basés sur des preuves.

Ce qui est inclus

• Scripts : références à scripts/task_loop.py et d'autres outils (le fetch rapporte has_scripts=false mais le SKILL.md documente scripts/ et references/)
• Références : références détaillées et exemples de commandes intégrés dans le SKILL.md (répertoire references/ décrit)
• Instructions : commandes explicites (init, freeze, build, evidence, verify, fix, status) et exigences strictes d'artefacts pour spec.md, evidence.md/json, verdict.json et problems.md. Des conseils sur les rôles des sous-agents et les exigences de fraîcheur sont inclus.

Agents compatibles

Conçu pour les agents de codage de type Codex/Copilot et Claude Code où des sous-agents locaux au dépôt ou des sessions enfants peuvent être utilisés. Également utile pour les vérificateurs intégrés à la CI et l'automatisation pouvant exécuter des scripts Python dans le dépôt.