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

3,191 resources
Content & Media

Mathematical Logic Expert

Agent skillClaude / Codex +2

Expert-level mathematical logic knowledge. Use when working with propositional logic, first-order logic, proof theory, model theory, computability theory, Godel incompleteness theorems, set theory, type theory, or formal verification. Also use when the user mentions 'formal proof', 'Godel', 'inco...

Content & Media

Cell Figure Preparation Guide

Agent skillClaude / Codex +2

Cell (Cell Press) figure preparation: resolution (300-1000 DPI), formats (TIFF/PDF), RGB color, Avenir/Arial fonts, uppercase panel labels, strict image manipulation policies.

CC-BY-4.0View skill

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