Property Based Testing

Design tests around invariants and input domains, and distinguish them from UI or binary fuzz testing.

Source owner: trailofbits · trailofbits/skills
Declared author / attribution: Henrik Brodin (manifest declaration)

Test and verify code →

Package installedNot observed

External connectionNot observed

Access authorizedNot observed

Task completedNot observed

A source listing is not a check of your machine, account, permissions or result.

COMPOSITION

What is included

Partial inventory

These are declared contents or individually observed source files. Each row states its evidence scope; these are not separate installation recommendations.

Skills

Individually observed packaged Skill

Exact file read at d3323cefbcf645678b8dc481de204b02ad3d02dc; a partial sample, not a complete inventory or activation test.

1+ sampled skills. Not a runtime capability count.

property-based-testing

Packaged here — do not install a second copy just because it appears here. File presence does not establish host activation.

DISTRIBUTION EVIDENCE

Marketplace entries and source pins

Manifest fields inspected. Independent maintainer marketplace. Marketplace curator: Trail of Bits. Curator identity is not package authorship or runtime certification.

property-based-testing: d3323cefbcf645678b8dc481de204b02ad3d02dc
Package path: plugins/property-based-testing

Inspect the exact marketplace snapshot

Manifest version 1.2.0 was observed separately at d3323cefbcf645678b8dc481de204b02ad3d02dc. Directory pointers do not establish a complete file inventory.

TASK-SCOPED PREREQUISITES

What you need to check

Required, optional and unknown describe the recorded workflow. They are not security or compatibility verdicts.

unknown

Select a property-testing library and language appropriate to the project; availability is not checked here.

For: Test and verify code

Evidence · source 6

Make a local prerequisite note

Your notes stay in this page. They cannot establish authorization or task success.

EVIDENCE & CHANGE HISTORY

Version and sources

Recorded workflow-note version: 1.2.0
Source revision: d3323cefbcf645678b8dc481de204b02ad3d02dc
Observation date: 2026-09-08T13:38:56.080Z — not a release date or runtime test date
Declared target: Claude Code. Other interfaces remain unknown unless specifically documented.
Package license information: Root README declares CC-BY-SA-4.0. This is not a manifest license or file-level clearance; only original reference metadata is retained here.
Identity: gpa:plugin:66a27da98e6a26e02c35519ea6ac569d837f44ba6172f61962cced768177f38f
Exact package root: https://github.com/trailofbits/skills / plugins/property-based-testing

This snapshot has one recorded observation for this package. No earlier version or permission change is invented. A future source change requires a new reviewed observation before current relationships are carried forward.

Prepare a correction note

Compare for the same task

Copy and Markdown downloads retain source dates, prerequisites and recorded issues, without your personal notes. Compare recorded facts, not a global score. Different ecosystems remain different installations.