alialavia/pbt-skills

pbt-skills is a set of Claude Code skills that help generate real property-based tests (PBT) instead of tautologies or self-oracles. It enforces a discovery workflow: write the contract in English, name the oracle, reject obvious traps, then design generators. Who uses it: developers and testers using Claude Code to produce PBT, and Python users who want Hypothesis-specific guidance. Key features: - property-based-testing (language-agnostic): three-pass discovery workflow (contract → properties → implementation), property-driven design and failure-diagnosis modes, annotated anti-patterns, and an eight-category property taxonomy with examples in Python, TypeScript, Rust, and Haskell. - pbt-hypothesis (Python): Hypothesis strategies, RuleBasedStateMachine support, settings/profiles, and Hypothesis-specific traps. - Auto-activates on PBT-related prompts; simple install in Claude Code; MIT license; extensible for other libraries.

AI-related keywords found in this repo's description, topics, or README summary — grouped by category. Each badge links to the corresponding ranking detail page.