Design property-based tests that verify code properties hold for all inputs using automatic test case generation. Use for property-based, QuickCheck, hypothesis testing, generative testing, and invariant verification.
This skill does not declare a tool allowlist. The agent host applies whatever default tools are available at runtime.
SKILL.md / Manifest
https://raw.githubusercontent.com/aj-geddes/useful-ai-prompts/main/skills/property-based-testing/SKILL.mdRegistry
github (via claudemarketplaces.com)