Skills.
Give your AI a better way to work.
A skill is a set of written instructions that teaches an AI how to do one job the way it should be done: review a pull request, plan a migration, write the release notes.
Install one here and it travels with your account into Claude, Claude Code, Cursor and every other client you sign in with.
Category: AI & models
8,868 results · page 251 of 296
- View details
smt-solving-with-z3-cvc5SkillAI & models
Use when a query needs direct SMT solving, an unsat core needs debugging, or another tool reports a solver timeout or unknown. Not for deciding what to prove: use proof-driven.
Ready to connect
- View details
strike-the-rootSkillAI & models
Use when a bug, failure, flake, regression, review finding, or ticket needs the core fixed so it cannot recur. Not for greenfield features: use tdd. Not for style-only review or typo-class one-liners.
Ready to connect
- View details
subagent-delegationSkillAI & models
Sets delegation scope, completion waiting, and evidence-based intervention. Use when spawning, waiting for, or steering any subagent, including a single ad hoc agent or a custom workflow agent.
Ready to connect
- View details
summarize-sessionSkillAI & models
Summarize the current session and generate reusable Claude rules, skills, or commands.
Ready to connect
- View details
tailwind-best-practicesSkillAI & models
Use when writing, editing, cleaning, or refactoring Tailwind classes, components, or configuration. Not for read-only audits of Tailwind code, or general CSS without Tailwind.
Ready to connect
- View details
thinkSkillAI & models
Temporal-trajectory-aware recall. Routes a question through a zero-LLM-cost intent classifier (temporal / knowledge_update / other). Temporal questions ("when did X last Y", "what changed since Z") get spliced answers from chronologically-sorted client history.md + goals/MMYY-NN-cycle.md + dated mem
Ready to connect
- View details
thumbnail-accuracy-scorecardSkillAI & models
Use when thumbnail concepts need real-size, accuracy-first scoring without misleading claims. Not for generating thumbnails or declaring winners that fail the accuracy rubric.
Ready to connect
- View details
to-greenfieldSkillAI & models
Use when the user says greenfield this or rescue this codebase, names a field (dark, red, blue, or brown), or diagnoses a subsystem. Not for specs: use to-spec. Not for remote or irreversible changes.
Ready to connect
- View details
type-drivenSkillAI & models
Use when modeling a domain, encoding a state machine, hardening APIs, making invalid states unrepresentable, or parsing instead of validating. Not for TypeScript: use typescript-best-practices.
Ready to connect
- View details
ui-animationSkillAI & models
Use when asked to build spring, easing, gesture, and choreographed animations with correct physics and reduced-motion support. Not for auditing existing motion or finding animation opportunities.
Ready to connect
- View details
unleak-abstractionSkillAI & models
Use when an abstraction leak must be sealed as a module seam, configuration option, or explicit override, or exposed as a named boundary. Not for detecting concealment patterns: use no-hide.
Ready to connect
- View details
venture-modelSkillAI & models
Operator-grade AI agent skills for Claude Code, Cursor, Codex, and opencode.
Ready to connect
- View details
voice-profileSkillAI & models
Operator-grade AI agent skills for Claude Code, Cursor, Codex, and opencode.
Ready to connect
- View details
why-slowSkillAI & models
'In-session diagnostic for "why is Claude hanging / slow right now?" Reads recent startup-timing
Ready to connect
- View details
witSkillAI & models
Apply WIT (Writing Is Thinking) as a human–LLM collaborative scientific reasoning skill for scientific question formulation, finding-driven research planning, next-experiment selection, Results or Discussion review, claim–evidence and reviewer stress tests, manuscript logic audits, deadline closure,
Ready to connect
- View details
workspace-unfreezeSkillAI & models
Use when the user runs /workspace-unfreeze on a frozen path to remove the freeze lock marker so the path is editable again. Resolves the marker from an explicit path or the freeze convention, previews the consequence, and deletes only that marker. Not for automated or unattended runs; requires expli
Ready to connect
- View details
writing-isabelle-proofsSkillAI & models
Use when a proof needs Isabelle/HOL, its Sledgehammer automation, or an AFP session. Not for Lean 4: use writing-lean-proofs.
Ready to connect
- View details
writing-rocq-proofsSkillAI & models
Use when a proof needs Rocq (formerly Coq), including legacy Coq codebase maintenance and migration through the Coq to Rocq rename. Not for Lean 4: use writing-lean-proofs.
Ready to connect
- View details
xcode-simulator-testingSkillAI & models
Use when asked to run /xcode-simulator-testing with a scheme name or current to build and launch an iOS app in a simulator and capture per-surface evidence. Not for project regeneration — use xcode-project-sync.
Ready to connect
- View details
ab-hook-testerSkillAI & models
Generates two genuinely distinct hook variants for the same reel so you can post-test which opening actually wins. Use when the user says "give me two hooks to test", "A/B this hook", "which opening should I use", "hook variants".
Ready to connect
- View details
api-client-regenSkillAI & models
Regenerate the gooddata-api-client package from the OpenAPI specs and adapt the SDK to the result. Use after a backend API change lands, or when the client is missing an endpoint, model or field. Triggers on "regenerate api client", "regen client", "openapi spec changed", "update api-client".
Ready to connect
- View details
axSkillAI & models
This skill helps with using the @ax-llm/ax TypeScript library for building LLM applications. Use when the user asks about ax(), ai(), f(), s(), agent(), flow(), AxGen, AxAgent, AxFlow, signatures, streaming, or mentions @ax-llm/ax.
Ready to connect
- View details
ax-agentSkillAI & models
This skill helps an LLM generate correct AxAgent code using @ax-llm/ax. Use when the user asks about agent(), child agents, namespaced functions, discovery mode, shared fields, llmQuery(...), RLM code execution, recursionOptions, or agent runtime behavior. For tuning and eval with agent.optimize(...
Ready to connect
- View details
ax-flowSkillAI & models
This skill helps an LLM generate correct AxFlow workflow code using @ax-llm/ax. Use when the user asks about flow(), AxFlow, workflow orchestration, parallel execution, DAG workflows, conditional routing, map/reduce patterns, or multi-node AI pipelines.
Ready to connect
- View details
ax-genSkillAI & models
This skill helps an LLM generate correct AxGen code using @ax-llm/ax. Use when the user asks about ax(), AxGen, generators, forward(), streamingForward(), assertions, field processors, step hooks, self-tuning, or structured outputs.
Ready to connect
- View details
ax-gepaSkillAI & models
This skill helps an LLM generate correct AxGEPA optimization code using @ax-llm/ax. Use when the user asks about AxGEPA, GEPA, Pareto optimization, multi-objective prompt tuning, reflective prompt evolution, validationExamples, maxMetricCalls, or optimizing a generator, flow, or agent tree.
Ready to connect
- View details
ax-learnSkillAI & models
This skill helps an LLM generate correct AxLearn code using @ax-llm/ax. Use when the user asks about self-improving agents, trace-backed learning, feedback-aware updates, or AxLearn modes.
Ready to connect
- View details
ax-signatureSkillAI & models
This skill helps an LLM generate correct DSPy signature code using @ax-llm/ax. Use when the user asks about signatures, s(), f(), field types, string syntax, fluent builder API, validation constraints, or type-safe inputs/outputs.
Ready to connect
- View details
b-roll-shot-listSkillAI & models
Turns a script into a shoot-ready shot list — every clip, angle and visual you need to film, in order. Use when the user says "what do I need to film", "shot list for this", "b-roll list", "how do I shoot this reel".
Ready to connect
- View details
bio-profile-optimizerSkillAI & models
Rewrites your bio, name field and pinned-reel order to convert profile visits into follows and clicks. Use when the user says "rewrite my bio", "optimize my profile", "what should my bio say", "which reels should I pin".
Ready to connect
What is a skill?
A skill is plain text, usually a SKILL.md file and the scripts it refers to, written for an AI rather than for a person. It carries the steps, the house rules and the examples a good answer needs, so you stop pasting the same briefing into every new chat.
53,585 of the 54,017 skills listed here can be served through ahel today, and they come from public repositories. Each one has its own page with the instructions themselves on it, so you can read what a skill will tell your AI to do before you install it.
Install one and every AI you use gets it
Installing a skill adds it to your gateway and turns it on in the same step. Claude Code surfaces it as a slash command; any client can read the full instructions with the skill_read tool.
Nothing is copied into a project folder. The instructions are served from your account, so the same skill is there in every AI you connect, and turning it off removes it from all of them at once.