nw-tdd-methodology-pbt-deep
From the author
Deep property-based-testing mechanics (Hebert) - stateful PBT command-precondition anti-patterns (A13/P6), the four property-finding strategies, the two shrinking mechanisms, and targeted/search-based PBT with its hard limitations
Install
npx skills add nWave-ai/nWave --skill nw-tdd-methodology-pbt-deep -a claude-code
Installs to .claude/skills/nw-tdd-methodology-pbt-deep/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
Want your agent to suggest skills while you type? See how to use skills from your IDE.
Safety checks on SKILL.md
No warnings.
Why 87
aiqbench computes the trust score from public signals. It is not a security audit, so read a skill before you install it.
Similar skills
Closest to this one by what they do and when they are used.
- nw-property-based-testingnWave-ai/nWaveProperty-based testing strategies (PBT — ACTIVE, authored by the acceptance-designer during DISTILL), shrinking, PBT+TDD integration.Testing★ 631
- property-based-testingtrailofbits/skillsWrites, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, canonicalizers and normalizers, validators, numeric and Decimal types, comparators and sort order, data structures, and smart-contract state invariants. Also use when adding cases to an existing @given, fast-check, or proptest suite, when judging whether existing property tests assert anything real, and when a generator has shrunk a counterexample and you need to tell a wrong property from a genuine bug. Not for coverage-guided binary fuzzing (libFuzzer, AFL), mutation-testing campaigns, static analysis, benchmarking, or end-to-end UI tests.Testing★ 8K
- nw-pbt-pythonnWave-ai/nWavePython property-based testing with Hypothesis framework, strategies, and pytest integrationEngineering★ 631
- nw-pbt-gonWave-ai/nWaveGo property-based testing with rapid and gopter frameworksTesting★ 631
- nw-pbt-haskellnWave-ai/nWaveHaskell property-based testing with QuickCheck and Hedgehog frameworksTesting★ 631
- nw-pbt-rustnWave-ai/nWaveRust property-based testing with proptest, quickcheck, and bolero frameworksTesting★ 631
Ratings & reviews
—
no reviews
Tried this skill? Rate it to help others. Sign in
Discussion
Join the discussion. Sign in