概要
This skill empowers Claude to implement robust property-based testing workflows, moving beyond traditional example-based tests to verify code invariants across a vast range of inputs. It provides expert guidance on defining properties such as roundtrips, idempotence, and commutativity, while offering deep technical patterns for configuring data generators and leveraging 'shrinking' to isolate minimal failing cases. Whether you are working in TypeScript with fast-check or Python with Hypothesis, this skill ensures your software handles edge cases and mathematical constraints with high confidence.