Trail of Bits Property Based Testing

Property-based testing guidance for multiple languages and smart contracts

Testing Claude Skill

Details

Author: trailofbits
Category: Testing
Format: Claude Skill
Source: View on GitHub

How to install for Claude Code

One-line install 

npx -y degit trailofbits/skills ~/.claude/skills/trailofbits-property-based-testing

Manual steps

  1. Download the skill file from the source repository.
  2. Place it in the ~/.claude/skills/ directory.
  3. Claude Code will automatically pick up the skill in your next session.
Get from source