property-based-testing

Automate property-based testing across Python, TypeScript, and Go codebases.

Updated May 11, 2026

Search Tags:#hypothesis #fast-check #property-based-testing #ci-testing #stateful-testing #gopter #regression-seed

Ready to run

npx skills add https://github.com/resultakak/argos --skill property-based-testing-resultakak

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: property-based-testing
Source: https://github.com/resultakak/argos/tree/main/skills/property-based-testing
Command: npx skills add https://github.com/resultakak/argos --skill property-based-testing-resultakak

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Property-based testing through generators, shrinking, and stateful models helps you find edge cases that example-based tests miss, across Python, TypeScript, and Go ecosystems.

Core Features & Use Cases

Generator-driven tests that explore large input spaces to reveal subtle bugs.
Stateful testing with model-based strategies to validate complex workflows.
CI-ready patterns for reproducible, regression-focused test suites and seed corpora.

Quick Start

Create a property-based test that asserts a round-trip invariant for your encoding/decoding paths.

Frequently Asked Questions about property-based-testing

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I use property-based testing to find edge cases that example-based tests miss?▼

Property-based testing uses generators to explore large input spaces and shrinking to isolate failures, revealing subtle bugs that fixed example tests miss across Python, TypeScript, and Go codebases.

How do I set up stateful testing with model-based strategies in Python or TypeScript?▼

Stateful testing validates complex workflows by comparing a model-based strategy against the system under test, using frameworks like Hypothesis or fast-check to automate state transitions and check invariants.

What is the best way to manage regression seeds for property-based tests in CI?▼

Manage regression seeds by enforcing deterministic seed configurations and CI-ready test patterns, ensuring reproducible test runs and capturing seed corpora for regression-focused validation.

Does property-based testing work with both Hypothesis and fast-check?▼

Yes, property-based testing automates generator design, shrinking, and schema-driven tests across Python with Hypothesis, TypeScript with fast-check, and Go with gopter, including Schemathesis integration.

How do I write a round-trip invariant test for encoding and decoding paths?▼

Write a round-trip invariant by generating arbitrary inputs, passing them through your encoding and decoding paths, and asserting the final output equals the original input to catch serialization bugs.

When should I not use property-based testing over example-based tests?▼

Avoid property-based testing when invariants are difficult to define or when tests require highly specific, deterministic state setups that cannot be easily generated or shrunk by frameworks.