property-based-testing
property based testing
What it does
- Serialization pairs: encode/decode, serialize/deserialize, toJSON/fromJSON, pack/unpack
- Parsers: URL parsing, config parsing, protocol parsing, string-to-structured-data
- Normalization: normalize, sanitize, clean, canonicalize, format
- Validators: isvalid, validate, check (especially with normalizers)
- Data structures: Custom collections with add/remove/get operations
- Mathematical/algorithmic: Pure functions, sorting, ordering, comparators
- Smart contracts: Solidity/Vyper contracts, token operations, state invariants, access control
Requirements & configuration
- Smart contracts: Solidity/Vyper contracts, token operations, state invariants, access control
- TASK: Test failed, need to interpret
- TASK: Need library reference
- "The test failed, so it's a bug" - Failures require validation; see interpreting-failures.md
Derived from the skill's own SKILL.md documentation · extracted 2026-07-23
property-based-testing FAQ
What does the property-based-testing skill do?
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests. Serialization pairs: encode/decode, serialize/deserialize, toJSON/fromJSON, pack/unpack Parsers: URL parsing, config parsing, protocol parsing, string-to-structured-data
What does property-based-testing require?
Smart contracts: Solidity/Vyper contracts, token operations, state invariants, access control TASK: Test failed, need to interpret TASK: Need library reference "The test failed, so it's a bug" - Failures require validation; see interpreting-failures.md
How do I install property-based-testing?
Run: npx -y skills add https://github.com/trailofbits/skills --skill property-based-testing --agent claude-code — the source lives at github.com/trailofbits/skills.
Maintain property-based-testing?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[property-based-testing on getagentictools](https://getagentictools.com/skills/trailofbits-skills-property-based-testing?ref=badge) npx agentictools info skills/trailofbits-skills-property-based-testing The second line is the CLI lookup for this page — handy in READMEs and docs.
