Agent skills for Windsurf (legacy)

Formal theorem proving with research, testing, and verification phases

Use when changing PlayCanvas rendering code that must not visibly change the rendered image — draw-call optimization, hardware instancing…

Trace artifact provenance.

Query provenance chains to trace artifact derivation and impact

Generate provenance coverage dashboard and statistics

W3C PROV-O patterns for tracking media derivation chains and production history

Analyzes and extracts requirements, intents, and ambiguities for debugging external provider callback and webhook integration failures…

Implements feedback and notification systems including toasts, alerts, modals, progress indicators, and error states.

Playwright E2E testing patterns. Trigger: When writing Playwright E2E tests (Page Object Model, selectors, MCP exploration workflow). For…

Prowler documentation style guide and writing standards.

Creates new Prowler cloud providers or adds services to existing providers.

Use this skill when laying out a form, fixing a confusing form, or building a form layout convention for a design system.

Write, edit, or review technical documentation in the Proxmox house style — US English, active voice, second-person imperative…

Reference guide for using PROXY_MODE with external AI models.

Orchestrate complete PRP workflow from feature request to pull request.

Autonomous iteration execution guide for PRP Ralph loops.

Takes a proofread or apsa-style report file (or any markdown file using **Original:** / **Recommended:** syntax) and rewrites the original…

Generates PSR-11 Container implementation for PHP 8.4.

Generates PSR-16 Simple Cache implementation for PHP 8.4.

Generates PSR-20 Clock implementation for PHP 8.4.

Use when starting or navigating any Psychological Science manuscript and you are unsure which sub-skill applies.