Property-based testing for multiple programming languages.
Implements property-based testing strategies across languages, generating test inputs that explore edge cases and invariant violations beyond traditional unit tests.
$ npx skills add trailofbits/agent-skills --skill property-based-testing