property-based-tester

What problem does it solve?

This Skill automates the discovery of elusive bugs by generating thousands of random inputs to test software properties, uncovering edge cases that traditional testing methods miss.

Core Features & Use Cases

• Automated Test Generation: Creates diverse, random inputs tailored to specific data types.
• Property Verification: Checks if defined invariants or business logic hold true across all generated inputs.
• Minimal Counterexample Finding: Automatically shrinks failing test cases to their simplest form for easier debugging.
• Use Case: Verify that a sorting algorithm correctly handles empty lists, single-element lists, and lists with duplicate values by defining a property that the sorted list must always be in ascending order.

Quick Start

Use the property-based-tester skill to generate tests for the sort function in my_module.py that verify the output is always sorted.