property-based-testing plugin
Write, review, and triage property-based tests — Hypothesis, fast-check, proptest, and Echidna or Medusa for Solidity invariants
How to install the property-based-testing plugin
Run both commands inside Claude Code. The first adds the marketplace once; the second installs the plugin.
/plugin marketplace add trailofbits/skills
/plugin install property-based-testing@trailofbitsWhat's inside property-based-testing
1 part read from the plugin's own files.
Skills 1
Claude loads it when the task matches- property-based-testing
Writes, reviews, and debugs property-based tests using tools like Hypothesis and fast-check to verify rules across entire input domains.
Using property-based-testing in Claude Code
Skills need no command. Claude reads them when your request matches what they describe.
Update, turn off or remove
- Update the plugin (shell)
- claude plugin update property-based-testing@trailofbits
- Refresh the marketplace
- /plugin marketplace update trailofbits
- Turn it off for now
- /plugin disable property-based-testing@trailofbits
- Remove it
- /plugin uninstall property-based-testing@trailofbits
Skills in property-based-testing
- property-based-testingtrailofbits/skills
Writes, reviews, and debugs property-based tests using tools like Hypothesis and fast-check to verify rules across entire input domains.
9 files8.1Kstars
property-based-testing plugin questions
How do I install the property-based-testing plugin?
In Claude Code run /plugin marketplace add trailofbits/skills, then /plugin install property-based-testing@trailofbits.
What does the property-based-testing plugin include?
property-based-testing bundles 1 skill.
How do I update or remove the property-based-testing plugin?
Update it with claude plugin update property-based-testing@trailofbits in your shell, or from the Installed tab of /plugin. Remove it with /plugin uninstall property-based-testing@trailofbits.