Dave AI

AI prompts.
Agent skills.

Reusable instructions for the work you do.
Find them by field and AI platform.

55,059 published resources

Explore by field

Loading full catalog…
Browse full catalog

Whole-catalog totals. A resource can belong to multiple fields and platforms.

Resources

1 resources
Data & Analytics

Property-Based Testing

Agent skillClaude / Codex +2

Property-based testing (PBT) patterns with fast-check (JS/TS), Hypothesis (Python), and gopter (Go). Generate random inputs, define invariants, shrink failures to minimal cases. Adapted from Trail of Bits. Use when testing pure functions, parsers, serializers, state machines, or any code where ex...

Platform labels describe intended use. Check each resource's original source, license and installation instructions.

Add to the collection.

Share a useful prompt or agent skill.
Include the creator, original source and license.

Submit a resource

Using Dave AI

Prompts: open a resource, customize its optional fields and copy the instructions into your preferred AI conversation.

Skills: open a resource and choose a listed compatible agent. Its page offers an install command and a complete ZIP package with source and license notices.

Claude, Codex, OpenClaw, Cursor, ChatGPT and Gemini labels indicate intended use. Dave AI does not run a model on your behalf.

Read the full guideDirectory