Stats
Actions
Tags
'%20stop-opacity%3D'0.16'%2F%3E%3Cstop%20offset%3D'1'%20stop-color%3D'rgb(200%2C90%2C60)'%20stop-opacity%3D'0.03'%2F%3E%3C%2FlinearGradient%3E%3C%2Fdefs%3E%3Crect%20width%3D'320'%20height%3D'200'%20fill%3D'url(%23g)'%2F%3E%3Ccircle%20cx%3D'250'%20cy%3D'56'%20r%3D'92'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.06'%2F%3E%3Ccircle%20cx%3D'64'%20cy%3D'172'%20r%3D'58'%20fill%3D'rgb(200%2C90%2C60)'%20fill-opacity%3D'0.05'%2F%3E%3C%2Fsvg%3E)
From asi
Guides property-based testing across multiple languages and smart contracts. Use for writing tests, reviewing serialization/validation/parsing code, or achieving stronger coverage than example-based tests.
How this skill is triggered — by the user, by Claude, or both
Slash command
/asi:property-based-testingThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
**Trit**: -1 (MINUS)
Trit: -1 (MINUS) Category: property-based-testing Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
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.
This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
npx claudepluginhub plurigrid/asi --plugin asiGuides property-based testing for serialization roundtrips, idempotence, invariants, parsing, validation, and smart contracts across languages.
Guides property-based testing across languages and smart contracts. Activates on serialization, parsing, validation, normalization, and data structure patterns for stronger test coverage.
Writes property-based tests using Hegel across Rust, Go, C++, and TypeScript projects. Generates random inputs and shrinks failures to minimal counterexamples.