Agent skills for Windsurf (legacy)

Graduate a proven pattern from auto-memory (MEMORY.md) to CLAUDE.md or .claude/rules/ for permanent enforcement.

Caching strategies for LLM prompts including Anthropic prompt

Transforms a rough idea into a detailed design document with implementation plan.

Analyzes and rewrites prompts for better AI output, creates reusable prompt templates for marketing use cases (ad copy, email campaigns…

Expert guide on prompt engineering patterns, best practices, and optimization techniques.

Analyze and improve plugin prompts, skill definitions, and command instructions

A comprehensive collection of battle-tested prompts inspired by [awesome-chatgpt-prompts](https://github.com/f/awesome-chatgpt-prompts)…

Creates database migrations with proper schema changes, data migrations, and rollback support for various ORMs (Prisma, TypeORM, Alembic…

Structured prompt template creation with variables, formatting, and version control

Use when writing, refactoring, or evaluating LLM prompts (system prompts, user prompts, few-shot examples, or tool-call schemas) for agent…

Generate AI personalization prompts for cold email campaigns.

Set up Promptbook \u2014 connect your account to start tracking builds.\n\

Generate/create/write PromQL queries, metric expressions, alerting rules, recording rules, Prometheus dashboards.

Scans lyrics for pronunciation risks and prevents Suno mispronunciations.

Assist in constructing algorithm correctness proofs

Rigorous mathematical proof verification and fixing workflow.

Design QA audit — red flags, severity classification, visual quality scorecard.

Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro…

QA and testing engineer — test strategy, E2E suites, API tests, flaky test triage, coverage.

Analyze and restructure mathematical proofs for clarity and completeness

Automate Proofly tasks via Rube MCP (Composio).