property-based-testing

Guides property-based testing across Python, JavaScript, Rust, and Solidity/Vyper. Detects high-value patterns like serialization pairs, normalizers, and smart contract state invariants, then suggests appropriate properties and generators. Covers the full workflow from test design to failure interpretation. Instead of manually crafting edge-case examples that still miss float boundary bugs or malformed UTF-8 inputs, this skill identifies which properties apply to your code and generates the test structure automatically.