Skills
.Work. You
Rest

property-based-test

Community

Generates Tier 1.5 property tests for changes.

Software Engineering#testing#property-based-testing#framework-selection#typed-signatures#regression-tests#pbt#counterexamples
Authorpaulingham
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill identifies changed public functions with typed signatures and automatically authors Tier 1.5 property-based tests, accelerating verification of code changes.

Core Features & Use Cases

  • Candidate identification: detects changed functions with typed signatures in the diff.
  • Framework selection: chooses the appropriate PBT harness per language (Hypothesis for Python, fast-check for TS/JS, PropEr for Erlang, etc.).
  • Test generation & freezing: generates ≥1 properties per candidate, time-boxes at 60s per function, and freezes counterexamples as deterministic regression tests.
  • Commit and integration: writes properties to tests/**/.property.{spec,test}. and commits alongside the production diff.

Quick Start

Run the property-based-test skill to automatically author property tests for changed functions in the build.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: property-based-test
Download link: https://github.com/paulingham/.claude/archive/main.zip#property-based-test

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 545,000+ vetted skills library on demand.