Pound79/specproof

Gardez l’honnêteté des tests écrits par l’IA. L’IA rédige des spécifications Gherkin, un moteur SHA-256 déterministe détecte les dérives entre spécifications, implémentations et fonctionnalités dans l’intégration continue, et les humains décident. Compétences agent pour Codex et Claude Code, avec échafaudages Playwright/Flutter.

Qu'est-ce que specproof ?

Pound79/specproof est un outil conçu pour garantir l’intégrité des tests générés par l’IA en détectant automatiquement les dérives entre spécifications Gherkin, implémentations et fonctionnalités dans l’intégration continue. Il utilise un moteur SHA-256 déterministe pour calculer des empreintes uniques des scénarios Gherkin, permettant de signaler tout changement non intentionnel. L’outil propose des compétences (skills) pour les agents Codex et Claude Code, facilitant la rédaction, la validation et la mise à jour des spécifications. Il inclut également des échafaudages (scaffolds) pour Playwright et Flutter, permettant de générer rapidement des tests end-to-end (E2E) et des tests d’interface utilisateur. Idéal pour les équipes souhaitant maintenir une trace de vérification fiable et réduire les faux positifs dans les pipelines CI/CD, tout en laissant la décision finale aux humains.

Compatible avec✓Claude Code✓Codex CLI~Cursor
npx skills add Pound79/specproof

Installed? Explore more Développement et programmation skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Demander à votre IA préférée

Ouvre une nouvelle conversation avec cette compétence d'agent déjà préchargée.

Documentation

Que fait specproof ?

Gardez l’honnêteté des tests écrits par l’IA. L’IA rédige des spécifications Gherkin, un moteur SHA-256 déterministe détecte les dérives entre spécifications, implémentations et fonctionnalités dans l’intégration continue, et les humains décident. Compétences agent pour Codex et Claude Code, avec échafaudages Playwright/Flutter.

Skills associés