skills.rest
resultakak
resultakakCOMMUNITY
Explore all skills by this author →
Website𝕏@resultakakGitHub

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
One-click install
npx skills add https://github.com/resultakak/argos --skill property-based-testing-resultakak
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Software Engineering Skills→
robotijnrobotijn
3

property-test-writer

Generate property-based tests validating universal invariants across full input spaces.

Community
Advanced
Intense-VisionsIntense-Visions
18

harness-property-test

Automate property-based testing across languages with custom generators and shrinking.

Official
Advanced
QuantcoQuantco
609

dataframely

Validate Polars data frames with dy.Schema and dy.Collection.

Official
Intermediate
naramorenaramore
1

property-based-testing

Adopt property-based testing to validate code against a wide input space.

Community
Advanced