skills.rest
jakubciszak
jakubciszakCOMMUNITY
Explore all skills by this author →
GitHub

property-based-testing

Guide teams in implementing property-based testing patterns across multiple languages.

1|Updated Dec 10, 2025
Search Tags:#testing#hypothesis#fast-check#contracts#invariants#property-based-testing#strategies
One-click install
npx skills add https://github.com/jakubciszak/family-plan --skill property-based-testing-jakubciszak
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: property-based-testing
Source: https://github.com/jakubciszak/family-plan/tree/main/.claude/skills/external/property-based-testing/skills/property-based-testing
Command: npx skills add https://github.com/jakubciszak/family-plan --skill property-based-testing-jakubciszak

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

Property-based testing patterns are often missing or inconsistently applied across projects; this Skill provides structured guidance to identify, design, and apply PBT to improve test quality and coverage.

Core Features & Use Cases

  • Detect and exploit PBT opportunities across languages and domains (serialization, validation, parsing, normalization, and smart contracts)
  • Generate robust property-based tests with language-specific libraries (Hypothesis, fast-check, proptest, etc.)
  • Review and improve existing PBT suites by identifying tautologies, vacuous tests, and weak assertions
  • Design features using properties and drive development with Property-Driven Development workflows
  • Refactor code to enable stronger, testable properties and easier verification

Quick Start

Describe the target function or module and I will propose property-based tests, strategies, and a plan to implement them.

Frequently Asked Questions about property-based-testing

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

FAQPage Schema
How do I write property-based tests for data serialization and parsing?▼

Property-based testing for serialization and parsing involves defining invariants like round-trip equality and generating randomized inputs using libraries such as Hypothesis or fast-check to verify data structures automatically.

What is the best way to find property-based testing opportunities in existing code?▼

Finding property-based testing opportunities involves detecting invariants and contracts within normalization, validation, and parsing logic, then applying design strategies to refactor code for stronger, testable properties.

Can I use property-based testing with smart contracts and Rust?▼

Yes, property-based testing applies to smart contracts and Rust by using language-specific libraries like proptest to generate robust strategies and verify contracts across supported languages including Rust, Go, and Java.

How do I fix vacuous tests and tautologies in my property-based testing suite?▼

Fixing vacuous tests and tautologies in property-based testing requires reviewing existing suites to identify weak assertions, then redesigning strategies to ensure generated inputs actually exercise the target invariants.

Does property-driven development work for normalizers and validators?▼

Property-driven development works for normalizers and validators by driving feature design through predefined properties and contracts, allowing teams to refactor code to enable stronger verification and end-to-end testing workflows.

Related Skills

Explore More Software Engineering Skills→
pipemind-compipemind-com

stress-testing

Generate adversarial property-based tests and report failures with coverage analysis.

Official
Advanced
GrimblazGrimblaz
3

property-based-testing

Validate software invariants with randomized property-based tests.

Community
Intermediate
CENKSSSCENKSSS

mutation-testing

Introduce code mutations and measure kill rate with Stryker and Jest.

Community
Advanced
ahravahrav
2

test-strategy

Assess Rust code to recommend unit, property, fuzz, Kani, or simulation testing strategies.

Community
Intermediate