property-based-testing
Detects property-based testing patterns and provides a catalog of properties for robust code verification.
Install
npx skills add https://github.com/trailofbits/skills --skill property-based-testingStats
| Total installs | 1,436 |
| Weekly installs | 1.4K |
| GitHub stars | 4.0K |
| First seen | Jan 19, 2026 |
| Source | @trailofbits/skills |
Summary
- Detects high-value PBT patterns automatically: serialization pairs, parsers, validators, normalization, data structures, algorithms, and smart contract state invariants
- Provides a property catalog with 10 core patterns (roundtrip, idempotence, invariant, commutativity, associativity, identity, inverse, oracle, easy-to-verify, no exception) ranked by strength
- Includes decision tree routing to language-specific references: test generation, design-driven development, refactoring for testability, test review, failure interpretation, and library recommendations
- Offers PBT as an option when detected, escalating to direct recommendation if the codebase already uses a PBT library (Hypothesis, fast-check, proptest, Echidna)
Tags
pythontypescriptrustsoliditynodetestingcode-qualitysecurityarchitecturebest-practicesagent-skillreview
Related skills
| Skill | Installs | vs property-based-testing |
|---|---|---|
| asc-testflight-orchestration | 1,296 | -140 |
| e2e-testing | 1,466 | +30 |
| django-tdd | 1,536 | +100 |
| differential-review | 1,584 | +148 |
| modern-python | 1,399 | -37 |
FAQ
- How many installs does property-based-testing have?
- property-based-testing has 1,436 total installs and 1.4K installs this week.
- Where is property-based-testing hosted?
- property-based-testing is published by @trailofbits/skills at https://github.com/trailofbits/skills.
- How many GitHub stars does property-based-testing have?
- property-based-testing has 4.0K GitHub stars.
- When was property-based-testing first indexed?
- OrangeBot.AI first indexed property-based-testing on Jan 19, 2026.
- How do I install property-based-testing?
- Run: npx skills add https://github.com/trailofbits/skills --skill property-based-testing