property-based-testingskills.sh · trailofbits

6,709 installs

"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, da

Executes fetched or decoded code

Hosts contacted: secure-contracts.com

Evidence lines

executes_fetched_code — README.md: The eval harnesses are deliberately **not** inside the skill. They sit at the plugin
executes_fetched_code — README.md: ├── run.sh # Trigger-rate eval
executes_fetched_code — README.md: still discriminates — an eval that has quietly stopped measuring reports a green skill
executes_fetched_code — README.md: | 2 | harness failure — no queries discovered, or a malformed eval file |

Our disclosure is a static description of what the skill declares and does; it is not a safety verdict. Source record: www.skills.sh/trailofbits/skills/property-based-testing. Targets trailofbits-skills.

Install

npx skills add trailofbits/skills@property-based-testing

Copied from the registry's documented install form. Read the disclosure above first; it is the whole point of this page.

Observed record

First seen 2026-10-19. The weekly re-scan will record install growth and any change to the skill's content hash; one observation so far.

Cite this page

Sato Hub. "property-based-testing — skill disclosure on Sato Hub." Sato Hub, updated 2026-10-23, accessed 2026-10-23. https://satohub.ai/skills/skillssh%3Atrailofbits%2Fskills%2Fproperty-based-testing

Data last refreshed 2026-10-23; this page is rebuilt daily. Citations carry the date so a reader can tell which snapshot a claim came from. Catalog data is licensed CC-BY-4.0.