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 |

Progetta e genera test basati sulle proprietà (PBT) per i file modificati nel ramo git corrente. Estrae specifiche, progetta proprietà (invarianti, andata e ritorno, idempotenza, metamorfico, monotonicità, modello di riferimento), crea strategie di generazione, implementa test e auto-punteggi rispetto a una rubrica (24/30+ richiesti). Supporta il controllo rapido (TS/JS), l'ipotesi (Python) e il proptest (Rust). Utilizzare quando: (1) "scrivere test di proprietà per le mie modifiche", (2) "aggiungere PBT", (3) "test basato su proprietà", (4) dopo aver implementato funzioni pure, validatori, parser o formattatori per verificare gli invarianti. Fonte: nimiusrd/agent-skills.