Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, canonicalizers and normalizers, validators, numeric and Decimal types, comparators and sort order…
Install
npx skills add trailofbits/skills --skill property-based-testingnpx skills add trailofbits/skills --skill property-based-testing -a claude-code -gnpx skills add trailofbits/skills --skill property-based-testing -a codex -ggemini skills install https://github.com/trailofbits/skills.git --path plugins/property-based-testing/skills/property-based-testinggh skill install trailofbits/skills property-based-testinggit clone --depth 1 https://github.com/trailofbits/skills /tmp/trailofbits__skills
mkdir -p ~/.claude/skills ~/.agents/skills
cp -R /tmp/trailofbits__skills/plugins/property-based-testing/skills/property-based-testing ~/.claude/skills/property-based-testing # Claude Code
cp -R /tmp/trailofbits__skills/plugins/property-based-testing/skills/property-based-testing ~/.agents/skills/property-based-testing # Codex, Cursor, Gemini CLI, Copilot, OpenCode