Design property-based tests for Rust using hegel generators and shrinking.
npx skills add https://github.com/cfcosta/duskpi --skill rust-proptest
Please help me install this Agent Skill. Skill: rust-proptest Source: https://github.com/cfcosta/duskpi/tree/main/skills/rust-proptest Command: npx skills add https://github.com/cfcosta/duskpi --skill rust-proptest
Enables teams to design and implement robust property-based tests for Rust projects, using generators, shrinking, and server-backed execution to ensure deterministic and reproducible test suites.
Provide a minimal Rust crate and enable property-based tests with hegel to generate inputs and verify invariants.
High-intent search queries and answers about installing and using this skill.
Property-based tests in Rust use generators to create inputs and shrinking to reduce counterexamples. This Skill guides you through crafting invariants, composing valid generators, and shrinking failures toward semantic simplicity using the hegel framework.
Model-based testing in Rust compares your system under test against a reference implementation or model to surface defects. This Skill provides patterns for defining meaningful laws and metamorphic relations to verify your code against expected behaviors.
Deterministic property testing for Rust CI uses fixed seeds and server-backed test execution to ensure reproducible runs. This Skill helps configure deterministic test suites using hegeltest 0.4.x, Rust 2024 edition, and the uv runtime.
Property testing in Rust works with the hegel framework and uv runtime, requiring hegeltest 0.4.x and Rust 2024 edition. It supports #[hegel::test], DefaultGenerator derive, and composite generators for input generation and shrinking.
Shrinking counterexamples in Rust property tests reduces generated inputs toward semantic simplicity to isolate the exact failure. This Skill guides you through designing generators that shrink effectively using the hegel framework's built-in shrinking capabilities.
Composite generators in Rust property tests create inputs that are valid by construction, preventing false failures from invalid data. This Skill shows how to use DefaultGenerator derive and compose generators using the hegel framework.
so-saiEnforce Rust Edition 2024, typed errors, and test-driven workflows.
Intense-VisionsAutomate property-based testing across languages with custom generators and shrinking.
a3lemCompare generated JSON output against expected JSON using the tc framework.
rainoftimeGenerate random inputs and shrink counterexamples to verify software invariants.
