Which PHP frameworks are supported?

This skill specifically supports Pest using datasets and PHPUnit using data providers, following standardized naming conventions for property functions.

How does property testing differ from unit testing?

Unit tests verify specific, known examples. Property-based testing verifies 'universal truths' or invariants across thousands of randomly generated inputs to find edge cases you might not have considered.

What happens if the tests find a bug?

The skill identifies the counterexample that caused the failure, dispatches a fix to the implementation agent, and re-runs the tests for up to three iterations to ensure the logic is corrected.

When should I use Gate 5 in my workflow?

Property-based testing should be executed after fuzz testing (Gate 4) is complete but before you proceed to integration testing (Gate 6).

Dev Cycle Property Testing

Name: Dev Cycle Property Testing
Author: luanrodrigues

byluanrodrigues

•

セキュリティとテスト

Verifies domain invariants through automated property-based testing to ensure business logic holds across all possible input variations.

Dev Cycle Property Testing acts as Gate 5 in a high-integrity development workflow, moving beyond simple unit tests to verify universal truths about your domain logic. By generating thousands of random inputs and testing them against predefined invariants—such as 'account balance never negative' or 'IDs are always unique'—this skill identifies edge cases that manual test cases often overlook. It orchestrates a QA Analyst agent to write and execute property-based tests in PHP using Pest or PHPUnit, providing a rigorous safety net for complex backend logic before code reaches the integration phase.

主な機能

01Standardized reporting for property-based test coverage and results

02Automated identification and verification of domain invariants

03Iterative fixing cycles to resolve identified edge case bugs

042 GitHub stars

05Orchestrates QA agents to write Pest datasets and PHPUnit data providers

06Detects and reports counterexamples for failing logical properties

ユースケース

01Testing state machine transitions in complex user authentication flows

02Validating financial transaction logic to ensure mathematical consistency

03Ensuring data integrity and boundary compliance for API request handling

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add luanrodrigues/ia-frmwrk dev-property-testing

For use in Claude.ai and ChatGPT

主な機能

01Standardized reporting for property-based test coverage and results

02Automated identification and verification of domain invariants

03Iterative fixing cycles to resolve identified edge case bugs

042 GitHub stars

05Orchestrates QA agents to write Pest datasets and PHPUnit data providers

06Detects and reports counterexamples for failing logical properties

ユースケース

01Testing state machine transitions in complex user authentication flows

02Validating financial transaction logic to ensure mathematical consistency

03Ensuring data integrity and boundary compliance for API request handling

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add luanrodrigues/ia-frmwrk dev-property-testing

For use in Claude.ai and ChatGPT