Setup & Installation
npx skills add https://github.com/trailofbits/skills --skill property-based-testing
https://github.com/trailofbits/skills/tree/main/plugins/property-based-testing
View on GitHubWhat This Skill Does
Guides property-based testing across Python, JavaScript, Rust, and Solidity/Vyper. Detects high-value patterns like serialization pairs, normalizers, and smart contract state invariants, then suggests appropriate properties and generators. Covers the full workflow from test design to failure interpretation.
Instead of manually crafting edge-case examples that still miss float boundary bugs or malformed UTF-8 inputs, this skill identifies which properties apply to your code and generates the test structure automatically.
When to use it
- Writing roundtrip tests for encode/decode function pairs
- Generating fuzz inputs for URL and config parsers
- Testing Solidity token contracts for state invariants
- Checking normalization functions for idempotence properties
- Refactoring I/O-heavy code to make it unit-testable with property checks