refactoring-advisor

coding-standards

masanao-ohba

PHP coding standards (PSR-12, PHPDoc, type hints) for any PHP project

code-implementer

masanao-ohba

Implements production code for PHP/CakePHP applications based on functional design specifications

functional-designer

masanao-ohba

Designs functional architecture and detailed specifications for PHP/CakePHP applications based on analyzed requirements

requirement-analyzer

masanao-ohba

Analyzes and documents requirements for any software project, technology-agnostic approach to requirement engineering

Delegating to CDN Agent

ryancnelson

Recognize Fastly CDN queries and delegate to specialized sub-agent to avoid context pollution

Delegating to New Relic Agent

ryancnelson

Recognize New Relic queries and delegate to specialized sub-agent to avoid context pollution

using-tmux-for-interactive-commands

obra

Use when you need to run interactive CLI tools (vim, git rebase -i, Python REPL, etc.) that require real-time input/output - provides tmux-based approach for controlling interactive sessions through detached sessions and send-keys

lean4-theorem-proving

cameronfreer

This skill should be used when developing Lean 4 proofs, managing sorries/axioms, facing "failed to synthesize instance" or type class errors, or searching mathlib - provides systematic build-first workflow, type class management patterns (haveI/letI), and domain-specific tactics for measure theory, probability, and algebra

lean4-memories

cameronfreer

This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration

session-launcher

Toowiredd

Restores full context when user says "hi-ai" or starts a new conversation. Searches project files, loads memory indexes, reads session state, and creates visual dashboard showing current project, recent decisions, active blockers, and quick actions. Use when user says "hi-ai", "continue", "restore context", or starts a fresh conversation.

error-debugger

Toowiredd

Analyzes errors, searches past solutions in memory, provides immediate fixes with code examples, and saves solutions for future reference. Use when user says "debug this", "fix this error", "why is this failing", or when error messages appear like TypeError, ECONNREFUSED, CORS, 404, 500, etc.

scene-structure-techniques

wordflowlab

Use when structuring scenes or planning chapter content - provides scene-sequel framework, tension management, and beat-by-beat structure for compelling scenes