npx claudepluginhub plurigrid/asi --plugin asiThis skill uses the workspace's default tool permissions.
**Trit**: -1 (MINUS)
Guides property-based testing for serialization roundtrips, idempotence, invariants, parsing, validation, and smart contracts across languages.
Designs property-based tests verifying code invariants across automatically generated inputs. Guides Hypothesis (Python), fast-check (JS/TS), JUnit QuickCheck (Java) for algorithms, parsers, edge cases.
Writes property-based tests using Hegel for Rust, Go, and C++ projects. Useful for testing invariants, round-trips, contracts via generative inputs, fuzzing, and shrinking.
Share bugs, ideas, or general feedback.
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