trailofbits

property-based-testing

@trailofbits/property-based-testing
trailofbits
1,280
96 forks
Updated 1/18/2026
View on GitHub

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.

Installation

$skills install @trailofbits/property-based-testing
Claude Code
Cursor
Copilot
Codex
Antigravity

Details

Repositorytrailofbits/skills
Pathplugins/property-based-testing/skills/property-based-testing/SKILL.md
Branchmain
Scoped Name@trailofbits/property-based-testing

Usage

After installing, this skill will be available to your AI coding assistant.

Verify installation:

skills list

More by trailofbits

View all
fuzzing-dictionary
1,280

Fuzzing dictionaries guide fuzzers with domain-specific tokens. Use when fuzzing parsers, protocols, or format-specific code.

fuzzing-obstacles
1,280

Techniques for patching code to overcome fuzzing obstacles. Use when checksums, global state, or other barriers block fuzzer progress.

harness-writing
1,280

Techniques for writing effective fuzzing harnesses across languages. Use when creating new fuzz targets or improving existing harness code.

coverage-analysis
1,280

Coverage analysis measures code exercised during fuzzing. Use when assessing harness effectiveness or identifying fuzzing blockers.