Helps engineers write property-based tests that check invariants across random inputs instead of hard-coded cases. Works for serialization, parsing, validation, and smart contracts.
Best for: Engineers who've hit bugs that unit tests should have caught but didn't.
Creator's repository · trailofbits/skills
License: CC-BY-SA-4.0