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.
Filter by category
55,257 results · page 760 of 1,842
- View details
conflict-analyzerSkillDev tools
Lets your agent scan requirements and plans for contradictions, incompatibilities, and conflicting priorities.
Ready to connect★ 251
- View details
containerization-assistantSkillCloud & infra
Lets your agent generate Dockerfiles, Docker Compose files, and Kubernetes manifests to containerize your apps.
Ready to connect★ 251
- View details
control-flow-abstraction-generatorSkillDev tools
Lets your agent generate control flow graphs showing loops, branches, and function calls for analyzing code.
Ready to connect★ 251
- View details
counterexample-debuggerSkillDev tools
Helps your agent debug failed formal proofs by finding concrete counterexamples that show why the proof fails.
Ready to connect★ 251
- View details
counterexample-explainerSkillDev tools
Lets your agent explain why a specification was violated by tracing a counterexample step by step and finding the root cause.
Ready to connect★ 251
- View details
counterexample-generatorSkillDev tools
Lets your agent generate concrete counterexamples that show why a failed proof, assertion, or spec is wrong.
Ready to connect★ 251
- View details
counterexample-to-test-generatorSkillAI & models
Lets your agent turn model checker counterexamples into executable test cases that reproduce property violations.
Ready to connect★ 251
- View details
coverage-enhancerSkillFiles & storage
Lets your agent analyze your tests and code to suggest new unit tests that cover missed paths.
Ready to connect★ 251
- View details
cpp-best-practicesSkillFiles & storage
Gives your agent a set of C++ coding guidelines covering modern C++20/23 features, memory safety, and quality checks.
Ready to connect★ 251
- View details
cpp-to-dafny-translatorSkillDev tools
Lets your agent convert C/C++ programs into equivalent Dafny code that can be formally verified.
Ready to connect★ 251
- View details
critical-interval-security-checkerSkillSecurity
Lets your agent review code for missing token expirations, weak timeouts, and rate limiting gaps in authentication.
Ready to connect★ 251
- View details
cve-reachability-analyzerSkillSecurity
Checks whether known vulnerabilities in your project's dependencies are actually reachable and usable from your code.
Ready to connect★ 251
- View details
cve-watchlist-action-recommendation-generatorSkillSecurity
Lets your agent turn CVE scan results into a prioritized watchlist and security recommendations for your repositories.
Ready to connect★ 251
- View details
dead-code-eliminatorSkillDev tools
Lets your agent find unused functions, variables, imports, and unreachable code in Python projects.
Ready to connect★ 251
- View details
dead-code-removalSkillDev tools
Lets your agent find and remove unused code from a project by scanning, verifying references, and committing changes.
Ready to connect★ 251
- View details
delphi-leak-auditSkillDocs & knowledge
Lets your agent scan Delphi Object Pascal code for memory leaks and optionally fix them.
Ready to connect★ 250
- View details
dependency-resolverSkillCloud & infra
Lets your agent analyze and manage software package dependencies, find conflicts, and audit them for vulnerabilities.
Ready to connect★ 251
- View details
deprecated-api-updaterSkillDev tools
Lets your agent find and replace deprecated API calls in your code with modern alternatives.
Ready to connect★ 251
- View details
design-pattern-suggestorSkillMedia
Lets your agent suggest suitable software design patterns from a problem description, requirements, or code scenario.
Ready to connect★ 251
- View details
design-smell-detectorSkillMedia
Lets your agent scan code for design problems like God classes, long methods, and poor cohesion.
Ready to connect★ 251
- View details
directed-test-input-generatorSkillAI & models
Lets your agent generate targeted test inputs to reach specific code paths and hard-to-reach behaviors in Python code.
Ready to connect★ 251
- View details
dockerfile-best-practicesSkillFiles & storage
Guides your agent to write secure, optimized Dockerfiles with multi-stage builds and best practices.
Ready to connect★ 251
- View details
edge-case-generatorSkillDev tools
Lets your agent find boundary and edge cases from requirements or code and generate test cases for them.
Ready to connect★ 251
- View details
error-explanation-generatorSkillCommunication
Lets your agent analyze test failures and error messages to find root causes and suggest concrete fixes.
Ready to connect★ 251
- View details
exploitability-analyzerSkillSecurity
Lets your agent assess whether reported security vulnerabilities are actually exploitable in practice.
Ready to connect★ 251
- View details
failure-oriented-instrumentationSkillCommunication
Lets your agent add targeted logging and tracing to code to debug crashes, bugs, and failures.
Ready to connect★ 251
- View details
flaky-test-detectorSkillAI & models
Finds flaky, unreliable tests in Python and Java code by analyzing code and test results.
Ready to connect★ 251
- View details
formal-spec-generatorSkillDev tools
Lets your agent turn code or plain descriptions into formal proofs-ready specs in Isabelle/HOL or Coq.
Ready to connect★ 251
- View details
framework-migration-assistantSkillDev tools
Lets your agent migrate Python web apps between frameworks like Flask, Django, and FastAPI automatically.
Ready to connect★ 251
- View details
frontend-ui-uxSkillMedia
Guides your agent to build polished, well-designed interfaces even when no design mockups exist.
Ready to connect★ 251
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.
54,826 of the 55,257 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.