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 |

現在の git ブランチで変更されたファイルに対するプロパティベースのテスト (PBT) を設計して生成します。仕様の抽出、プロパティ (不変条件、ラウンドトリップ、冪等性、変成性、単調性、参照モデル) の設計、ジェネレーター戦略の構築、テストの実装、およびルーブリックに対する自己採点 (24/30 以上が必要)。高速チェック (TS/JS)、仮説 (Python)、およびプロップテスト (Rust) をサポートします。次の場合に使用します: (1) 「変更に対するプロパティ テストを作成する」、(2) 「PBT を追加する」、(3) 「プロパティ ベースのテスト」、(4) 不変条件を検証するために純粋な関数、バリデータ、パーサー、またはフォーマッタを実装した後。 ソース: nimiusrd/agent-skills。