Total 55,562 skills, AI & Machine Learning has 9241 skills
Showing 12 of 9241 skills
Use when migrating to another AI platform — exports all stored memories, context, preferences, and instructions so you can import them elsewhere
Classify user requests and route to the correct agent + skill combination. Use for any user request that needs delegation: code changes, debugging, reviews, content creation, research, or multi-step workflows. Invoked as the primary entry point via "/do [request]". Do NOT handle code changes directly - always route to a domain agent. Do NOT skip routing for anything beyond pure fact lookups or single read commands.
Create a new voice profile from writing samples. 7-phase pipeline: Collect, Extract, Pattern, Rule, Generate, Validate, Iterate. Wabi-sabi (natural imperfections as features) is the core principle. Use when creating a new voice, starting voice calibration, or building a voice profile from scratch. Use for "create voice", "new voice", "build voice", "voice from samples", "calibrate voice". Do NOT use for generating content in an existing voice (use voice-orchestrator), editing content (use anti-ai-editor), or comparing voices (use voice-calibrator compare mode).
Execute wave-ordered implementation plan by dispatching tasks to domain agents. Use after /feature-plan produces a plan. Use for "implement feature", "execute plan", "start building", or "/feature-implement". Do NOT use without a plan or for ad-hoc coding tasks.
Agent skill for orchestrator-task - invoke with $agent-orchestrator-task
Operate `deepsky sustain` for Deepsky self-supervision. Use when the user asks the agent to keep itself alive, monitor balance or runway, inspect pricing, top up an account, retry pending top-up orders, clear auth state, or change sustain guardrails and config.
Show context usage heatmap for current session
Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, or learning Lean 4 concepts. Also trigger when the user asks for help with Lean 4, mathlib, or lakefile. Do NOT trigger for Coq/Rocq, Agda, Isabelle, HOL4, Mizar, Idris, Megalodon, or other non-Lean theorem provers.
Harness engineering for AI coding agents — five subsystems, memory persistence, session continuity, verification workflows, scope control, lifecycle management.
AutoTeam-F is a ChatGPT Team account rotation and authentication sync tool with batch free account generation, OAuth management, and a Web dashboard.
Persistent memory layer for AI agents using Postgres/pgvector with MCP server support
Validate a Claude Code plugin structure, frontmatter, and MCP tool references