property-test-generator

Design and generate property-based tests for changed files, with self-scoring to ensure quality (24/30+ on the evaluation rubric).

Filter to source files (.ts, .tsx, .js, .jsx, .py, .rs), excluding test files, config, styles, and assets.

| Invariant | Output always satisfies a condition | Length preservation, range bounds, type guarantees | | Round-trip | decode(encode(x)) === x | Parsers, serializers, codecs | | Idempotence | f(f(x)) === f(x) | Normalizers, formatters, canonicalizers | | Metamorphic | Relationship between f(x) and f(transform(x)) | Sort, filter, math operations |

Entwerfen und generieren Sie eigenschaftsbasierte Tests (PBT) für geänderte Dateien im aktuellen Git-Zweig. Extrahiert Spezifikationen, entwirft Eigenschaften (Invarianten, Roundtrip, Idempotenz, Metamorphie, Monotonie, Referenzmodell), erstellt Generatorstrategien, implementiert Tests und bewertet sich selbst anhand einer Rubrik (24/30+ erforderlich). Unterstützt Fast-Check (TS/JS), Hypothese (Python) und Proptest (Rust). Wird verwendet, wenn: (1) „Eigenschaftstests für meine Änderungen schreiben“, (2) „PBT hinzufügen“, (3) „eigenschaftenbasierter Test“, (4) nach der Implementierung reiner Funktionen, Validatoren, Parser oder Formatierer zur Überprüfung von Invarianten. Quelle: nimiusrd/agent-skills.