property-based-testing
Write, review, and triage property-based tests — Hypothesis, fast-check, proptest, and Echidna or Medusa for Solidity invariants
- version
- 1.2.2
- GitHub stars
- 8.1K
Install
/plugin install property-based-testing@trailofbitsRun it inside Claude Code after adding the marketplace with /plugin marketplace add trailofbits/skills.
Sponsors
Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthly
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any language
Agent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any languageDetails
- Marketplace
- trailofbits/skills
- Source
- plugins/property-based-testing
- Author
- Henrik Brodin
- Category
- Community
More from trailofbits/skills
All 51- regression-huntv1.2.0
- review-walkthroughv1.2.3
- rust-reviewv1.1.2
- second-opinionv1.8.3
- semgrep-rule-creatorv1.2.6
- semgrep-rule-variant-creatorv1.1.4
- sharp-edgesv1.1.3
- spec-to-code-compliancev2.0.2
- static-analysisv1.5.1
- supply-chain-risk-auditorv2.0.4
- testing-handbook-skillsv1.2.2
- trailmarkv0.12.2
- variant-analysisv2.0.4
- vulnerability-triage-brocardsv0.1.3
- workflow-skill-designv1.0.1
- writing-lean-proofsv0.1.2
- yara-authoringv2.2.1
- zeroize-auditv0.4.2
- agentic-actions-auditorv1.3.2
- ask-questions-if-underspecifiedv1.0.1
- audit-context-buildingv2.0.2
- building-secure-contractsv1.2.2
- burpsuite-project-parserv1.1.2
- c-reviewv2.0.4