Choose what fits your workflow.
Compare up to three entries by their documented purpose, requirements and limitations. A different type often means a different job.
| Consideration | Property-Based Testing | Hook Development |
|---|---|---|
| Type | Skill | Skill |
| Publisher | Henrik Brodin / Trail of Bits | Anthropic |
| Status | Publisher skill | Anthropic plugin |
| Best for | Functions with an invariant, round trip or trustworthy oracle across an input domain. | Adding event-triggered workflow automation to a plugin. |
| Requirements | Claude Code with plugin support.; Code and existing test suite to inspect.; An appropriate property-testing library before running generated tests; installation does not add one. | Install the containing Plugin Dev package |
| Limitations | Passing generated cases is not a proof of correctness; properties need a valid input model and oracle.; The source excludes end-to-end UI testing and coverage-guided binary fuzzing. | This is an authoring skill, not a ready-to-run hook; Validate generated examples against your installed Claude Code version |
| Install package | property-based-testing | plugin-dev |
| License | CC-BY-SA-4.0 | Apache-2.0 |
| Source reviewed | 2026-10-05 | 2026-10-05 |
Bundled components may share an install package. Installing that package once provides its components.
Source review: October 5, 2026. Listings are documentation reviews, not runtime tests or security audits. Our editorial method