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 |

Concevez et générez des tests basés sur les propriétés (PBT) pour les fichiers modifiés dans la branche git actuelle. Extrait les spécifications, conçoit les propriétés (invariants, aller-retour, idempotence, métamorphique, monotonie, modèle de référence), construit des stratégies de génération, implémente des tests et s'auto-core par rapport à une rubrique (24/30+ requis). Prend en charge la vérification rapide (TS/JS), l'hypothèse (Python) et le proptest (Rust). À utiliser lorsque : (1) "écrire des tests de propriété pour mes modifications", (2) "ajouter du PBT", (3) "test basé sur les propriétés", (4) après avoir implémenté des fonctions pures, des validateurs, des analyseurs ou des formateurs pour vérifier les invariants. Source : nimiusrd/agent-skills.