Was macht specproof?
KI-geschriebene Tests ehrlich halten. KI entwirft Gherkin-Spezifikationen, eine deterministische SHA-256-Engine erkennt Abweichungen zwischen Spezifikation, Implementierung und Funktion in CI, und Menschen entscheiden. Agenten-Fähigkeiten für Codex und Claude Code, plus Playwright/Flutter-Gerüste.
Funktionsweise
Specproof verwendet eine deterministische SHA-256-Engine, um den Zustand von Spezifikationen, Implementierungen und Funktionen zu hashen und so Änderungen zuverlässig zu erkennen. Wenn CI ausgeführt wird, vergleicht die Engine die Hashes und meldet jede Diskrepanz („Drift“). Der menschliche Entwickler kann dann entscheiden, ob die Abweichung beabsichtigt oder ein Fehler ist.
Installation
Fügen Sie die folgenden Umgebungsvariablen hinzu:
SPECPROOF_HASH=some_sha256_value
Optional:
SPECPROOF_MODE=strict|lenient
Verwendung
- Lassen Sie den KI-Agenten eine Gherkin-Spezifikation erstellen (
specs/). - Committen Sie die Spezifikation zusammen mit dem Code.
- CI berechnet den Hash der Spezifikation, der Implementierung und der Tests.
- Wenn sich der Hash ändert, schlägt der Build fehl, bis ein menschlicher Entwickler den Drift manuell bestätigt.
Beispiel-Gherkin
Funktionalität: Specproof
Szenario: Erkennung von Drift
Angenommen Specproof ist konfiguriert
Wenn der Hash der Spezifikation sich ändert
Dann meldet CI einen Drift
Unterstützte Plattformen
- Claude Code: Über
~/.claude/skills/ - Codex: Über Strukturerkennung
Lizenz
MIT