What is the difference between unit testing and property testing?

Unit tests verify specific, known input-output pairs. Property testing verifies 'universal truths' or invariants (e.g., a price can never be negative) against thousands of randomly generated inputs to find hidden edge cases.

Which programming languages does this skill support?

This skill is currently optimized for Go (Golang) development, specifically utilizing the standard 'testing/quick' package for verification.

Is property testing mandatory in the Ring workflow?

Yes. Every domain has invariants, and this skill enforces their verification to ensure high-integrity software engineering and catch regressions early.

What happens if a counterexample is found?

The skill will automatically identify the failure, dispatch a fix request to the implementation agent, and re-run the tests for up to three iterations until the invariant holds.

When in the development cycle should I use this skill?

It is designed as Gate 5 of the development process. It should be triggered after fuzz testing is complete and before moving into integration testing.

Property-Based Testing Gate

Name: Property-Based Testing Gate
Author: LerianStudio

byLerianStudio

•

135

•

セキュリティとテスト

Ensures domain logic reliability by verifying universal invariants against randomly generated inputs using Go's property-based testing tools.

As Gate 5 of the Ring development cycle, this skill automates the verification of domain-specific invariants to ensure code correctness across all possible input scenarios. It orchestrates the QA Analyst Agent to identify 'universal truths' within your business logic—such as unique ID constraints or non-negative balances—and implements rigorous testing using the Go testing/quick package. By finding counterexamples that traditional unit tests miss, this skill acts as a mandatory quality gate that prevents subtle logic bugs from reaching production.

主な機能

01Enforcement of naming conventions and domain-specific testing standards

02Detailed reporting of property status, iterations, and testing metrics

03Intelligent counterexample detection and automated fix-and-retry cycles

04Standardized property test generation using Go's testing/quick package

05Automated identification of domain invariants from implementation files

06135 GitHub stars

ユースケース

01Ensuring data integrity and unique constraints in complex domain entities

02Validating state machine transitions and business rule consistency across random inputs

03Verifying mathematical correctness and boundary conditions in financial or billing logic

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add lerianstudio/ring dev-property-testing

For use in Claude.ai and ChatGPT

Download Skill