Which libraries are required for this skill?

This skill is designed to work primarily with fast-check for property generation and Vitest as the test runner.

When should I use property-based testing?

It is most effective for mathematical calculations, state machine transitions, data transformations, and any scenario with strict business invariants.

What is the benefit of property testing over unit testing?

While unit tests check specific examples, property testing verifies that a rule holds true for thousands of random inputs, uncovering edge cases that developers often miss.

Can I use this for complex data structures?

Yes, fast-check provides 'arbitraries' for strings, integers, arrays, and complex objects (records) to simulate real-world data.

Property Testing with fast-check

Name: Property Testing with fast-check
Author: captjay98

bycaptjay98

•

보안 및 테스팅

Implements property-based testing to validate complex business logic invariants across all possible input ranges.

This skill equips Claude with the ability to perform robust property-based testing (PBT) using the fast-check library, moving beyond traditional example-based unit tests. It is designed to help developers define and verify general properties that must always remain true for a function, such as mathematical invariants, state transitions, and data integrity rules. By automatically generating a wide array of test inputs and shrinking failures to their simplest form, this skill ensures that edge cases in critical business logic—like inventory calculations or financial formulas—are discovered and addressed early in the development cycle.

주요 기능

01Validation of complex business logic and mathematical invariants

02Automated input generation for edge-case discovery

03Traceable requirement-to-test mapping patterns

045 GitHub stars

05Integration with Vitest for seamless testing workflows

06Property-based testing (PBT) integration with fast-check

사용 사례

01Testing state transitions and data transformations for consistency

02Validating mathematical calculations like mortality rates or profit margins

03Ensuring inventory invariants where totals must match transactions

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add captjay98/gemini-livestockai property-testing

For use in Claude.ai and ChatGPT

Download Skill