Agent Skill

Property-Based Testing

debugging-testing

Writes property-based tests (Hypothesis-style) that check invariants across generated inputs instead of fixed examples.

Install

Claude Code

Run in a terminal:

/plugin marketplace add trailofbits/skills
/plugin install property-based-testing@trailofbits

Links

Source repository

Skip the install — WingMan's own 271 tools run hosted, no setup: browse the hosted tool directory. One endpoint, one free key: https://wingmanprotocol.com/mcp.