property-based-testing
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.
go-fuzz-testing
Automates fuzz test creation for Go projects using Go's native fuzzing engine with consistent software testing patterns. Use when creating fuzz tests, mutation testing, or when the user mentions fuzzing, coverage-guided testing, or property-based testing.
testing-strategies
Testing strategies including contract testing, snapshot testing, mutation testing, property-based testing, and test organization
pytest-tdd
Comprehensive pytest and Test-Driven Development (TDD) toolkit. Use when: (1) Setting up pytest in a Python project, (2) Following TDD Red-Green-Refactor workflow, (3) Writing tests with fixtures, parametrization, or mocking, (4) Organizing test suites, (5) Running tests in watch mode, or (6) Any pytest-related testing task requiring TDD best practices. Triggers include TDD, pytest, test first, Red Green Refactor, write tests, test driven, property based testing.
property-based-testing
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.
property-based testing
Generates hundreds of random inputs automatically to find edge cases that hand-written tests miss. Use when testing pure functions, parsers, serializers, mathematical operations, or any function where "the output should always satisfy X" can be stated. Triggers on: Hypothesis, property test, fuzz testing, QuickCheck, random input, edge case, invariant, generative testing, shrinking.