property-based-testing

github:trailofbits/skills · first committed 2026-01-14 · source · badge

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.

Skill Health: not yet scored

Listed, not yet scored. This skill has no public model test yet. It is in the scoring queue; submitted skills go first, then the most-installed.

Version history

3 commits to this file on GitHub (newest first).

2026-08-17 · commit 04b2411 · Rework property-based-testing skill and add eval suites. (#235)
2026-02-11 · commit 57a837d · Add failure interpretation guide to property-based-testing skill (#74)
2026-01-14 · commit 695119c · Initial release of Trail of Bits Skills Marketplace

Archived snapshots