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 |

Разрабатывайте и создавайте тесты на основе свойств (PBT) для измененных файлов в текущей ветке git. Извлекает спецификации, разрабатывает свойства (инварианты, двусторонний обход, идемпотентность, метаморфизм, монотонность, эталонная модель), строит стратегии генератора, реализует тесты и самостоятельно оценивает критерии (требуется 24/30+). Поддерживает быструю проверку (TS/JS), гипотезу (Python) и проверку (Rust). Используйте, когда: (1) «напишите тесты свойств для моих изменений», (2) «добавьте PBT», (3) «тест на основе свойств», (4) после реализации чистых функций, валидаторов, анализаторов или средств форматирования для проверки инвариантов. Источник: nimiusrd/agent-skills.