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 |

Diseñe y genere pruebas basadas en propiedades (PBT) para archivos modificados en la rama git actual. Extrae especificaciones, diseña propiedades (invariantes, ida y vuelta, idempotencia, metamórfica, monotonicidad, modelo de referencia), crea estrategias generadoras, implementa pruebas y autocalifica según una rúbrica (se requiere 24/30+). Admite verificación rápida (TS/JS), hipótesis (Python) y proptest (Rust). Úselo cuando: (1) "escribir pruebas de propiedades para mis cambios", (2) "agregar PBT", (3) "prueba basada en propiedades", (4) después de implementar funciones puras, validadores, analizadores o formateadores para verificar invariantes. Fuente: nimiusrd/agent-skills.