Find bugs across your code's whole input range.
Writes and reviews property-based tests and classifies failures to distinguish flawed tests from genuine code bugs.
When to use it
Use when tests should cover an entire input domain, when extending or reviewing existing property tests, or when interpreting shrunk counterexamples.
Give it project code or existing property tests; it writes tests, reviews their quality, or explains whether a failing counterexample reveals a bug.
What you provide
No setup requirements listed.
No additional actions listed.