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.