Attest — Vérificateur de conformité aux spécifications

Ce qu'il fait

Attest extrait les critères d'acceptation testables des documents de spécification, génère des scénarios BDD Given/When/Then et effectue une vérification statique des implémentations pour produire des rapports de conformité basés sur des preuves. Il produit des verdicts par critère, une matrice de traçabilité, des sondes adversaires et des transferts de remédiation sans modifier le code.

Quand l'utiliser

Utilisez Attest lorsque vous avez besoin d'une vérification formelle qu'une implémentation correspond à sa spécification, pour préparer les critères d'acceptation et les scénarios BDD avant le développement, ou pour effectuer des audits/contrôles de traçabilité sur le code et les tests. Pas pour écrire ou modifier du code — il rapporte uniquement les conclusions et oriente les corrections vers les agents constructeurs.

Ce qui est inclus

• Scripts : aucun détecté dans le répertoire du skill (has_scripts=false)
• Références : dossier de références riche avec des conseils sur l'extraction, la génération BDD, les méthodes de vérification, le sondage adverse et le reporting (has_references=true).
• Instructions : flux de travail détaillé (INGEST→EXTRACT→GENERATE→VERIFY→ATTEST), conseils de déclenchement, déclencheurs d'interaction et modèles de sortie pour les rapports de conformité et les transferts.

Agents compatibles

Conçu pour les systèmes multi-agents et les pipelines de gouvernance (Scribe, Builder, Radar, Warden). Fonctionne mieux avec des agents pouvant accéder aux fichiers de repo/spécifications et effectuer des recherches de code statiques pour trouver des preuves.