property-based-testing SKILL.md skillA
property-based-testing from foryourhealth111-pixel/vibe-skills is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add foryourhealth111-pixel/vibe-skills/property-based-testing@git:20260226.1632f40Pins git:20260226.1632f40 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- foryourhealth111-pixel/vibe-skills
- Path
bundled/skills/property-based-testing/SKILL.md- Versions recorded
- 1
- Latest version
- git:20260226.1632f40, committed Feb 26, 2026
- Size
- 19,017 bytes
- Repository stars
- 3,805
- License
- Apache-2.0
Property-based testing with fast-check (TypeScript/JavaScript) and Hypothesis (Python). Generate test cases automatically, find edge cases, and test mathematical properties. Use when user mentions property-based testing, fast-check, Hypothesis, generating test data, QuickCheck-style testing, or finding edge cases automatically.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# Property-Based Testing
Expert knowledge for property-based testing - automatically generating test cases to verify code properties rather than testing specific examples.
## Core Expertise
**Property-Based Testing Concept**
- **Traditional testing**: Test specific examples
- **Property-based testing**: Test properties that should hold for all inputs
- **Generators**: Automatically create diverse test inputs
- **Shrinking**: Minimize failing cases to simplest example
- **Coverage**: Explore edge cases humans might miss
**When to Use Property-Based Testing**
- Mathematical operations (commutative, associative properties)
- Encoders/decoders (roundtrip properties)
- Parsers and serializers
- Data transformations
- API contracts
- Invariants and constraints
## TypeScript/JavaScript (fast-check)
### Installation
```bash
# Using Bun
bun add -d fast-check
# Using npm
npm install -D fast-check
```
### Basic Example
```typescript
import { test } from 'vitest'
import * as fc from 'fast-check'
// Traditional example-based test
test('reverse twice returns original', () => {
expect(reverse(reverse([1, 2, 3]))).toEqual([1, 2, 3])
})
// Property-based test
…Read the whole file at its exact version.
How to install
mdr add foryourhealth111-pixel/vibe-skills/property-based-testing@sha256:5cfca7ca913e3717The line at the top of this page pins the label git:20260226.1632f40, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_2ct7v4fegtvdqnxj)
7 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 1 version of this file, committed on Feb 26, 2026.
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (19017 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
foryourhealth111-pixel/vibe-skills · 3,805 stars · license Apache-2.0 · pushed 2026-11-07 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_2ct7v4fegtvdqnxj GET https://markdownregistry.com/api/v1/resolve?ref=foryourhealth111-pixel/vibe-skills/property-based-testing GET https://markdownregistry.com/api/v1/blob/5cfca7ca913e3717fb7111a96040d5cad9e28345786c527a0196f71b91d76bce
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.
More from foryourhealth111-pixel/vibe-skills
Every file in foryourhealth111-pixel/vibe-skills