소개
This skill provides a comprehensive framework for Claude to move beyond simple example-based testing by identifying high-value patterns where property-based testing (PBT) offers superior coverage. Developed by Trail of Bits, it guides the implementation of robust test suites for serialization pairs, parsers, validators, and complex algorithms. It is particularly effective for security-critical applications and smart contract development, offering specialized guidance on state invariants, idempotence, and roundtrip properties to ensure software resilience across multiple programming languages.
