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 761 of 1,842
- View details
function-class-generatorSkillMedia
Lets your agent write complete functions and classes from specs, type signatures, or plain-language requirements.
Ready to connect★ 251
- View details
fuzzing-input-generatorSkillSecurity
Lets your agent generate random and edge-case test inputs to find bugs and security vulnerabilities through fuzz testing.
Ready to connect★ 251
- View details
git-bisect-assistantSkillDev tools
Lets your agent run git bisect to find the exact commit that introduced a bug or failing test.
Ready to connect★ 251
- View details
imperative-to-coq-model-extractorSkillAI & models
Lets your agent turn imperative code like C or Python into mathematical models you can reason about in Coq.
Ready to connect★ 251
- View details
incremental-java-programmerSkillDev tools
Lets your agent write code for new Java features in Maven or Gradle projects, with matching JUnit tests.
Ready to connect★ 251
- View details
incremental-python-programmerSkillAI & models
Lets your agent add new features to an existing Python project and write tests until they pass.
Ready to connect★ 251
- View details
integration-test-generatorSkillDatabases & data
Lets your agent generate Python integration tests for interactions between services, databases, and external APIs.
Ready to connect★ 251
- View details
interface-contract-verifierSkillMedia
Lets your agent check that code contracts like preconditions and invariants still hold after changes.
Ready to connect★ 251
- View details
interval-difference-analyzerSkillDev tools
Lets your agent compare two versions of a program to find added, removed, or changed numeric intervals.
Ready to connect★ 251
- View details
interval-guided-regression-test-updateSkillDev tools
Lets your agent update regression tests automatically when code changes affect value ranges or control flow.
Ready to connect★ 251
- View details
interval-profiling-performance-analyzerSkillDocs & knowledge
Lets your agent profile code to find performance hotspots, bottlenecks, and optimization opportunities.
Ready to connect★ 251
- View details
invariant-inferenceSkillAI & models
Lets your agent analyze code loops and prove they behave correctly by finding rules that always hold.
Ready to connect★ 251
- View details
issue-report-generatorSkillDocs & knowledge
Lets your agent turn failing tests into clear, ready-to-file bug reports in Markdown.
Ready to connect★ 251
- View details
java-api-consistency-validatorSkillDev tools
Lets your agent compare two versions of a Java library to find breaking API and behavior changes.
Ready to connect★ 251
- View details
java-regression-test-generatorSkillDev tools
Lets your agent generate regression tests for Java code by comparing old and new code versions.
Ready to connect★ 251
- View details
java-test-updaterSkillDev tools
Lets your agent rewrite Java test files so they still work after code refactoring.
Ready to connect★ 251
- View details
legacy-code-summarizerSkillDocs & knowledge
Lets your agent summarize and explain unfamiliar legacy codebases, including architecture and dependencies.
Ready to connect★ 251
- View details
lemma-discovery-assistantSkillDev tools
Lets your agent analyze stuck or failed proofs and suggest helper lemmas in Isabelle/HOL or Coq.
Ready to connect★ 251
- View details
library-advisorSkillDev tools
Lets your agent suggest matching Isabelle/HOL or Coq standard library lemmas, theories, and tactics for your proof goals.
Ready to connect★ 251
- View details
lsp-refactoringSkillDev tools
Lets your agent refactor code safely using rename, find-references, and go-to-definition with syntax-aware matching.
Ready to connect★ 251
- View details
markdown-document-structurerSkillDocs & knowledge
Lets your agent reorganize markdown documents with clean headings, tables of contents, and consistent formatting.
Ready to connect★ 251
- View details
metamorphic-property-extractorSkillDev tools
Lets your agent find metamorphic properties like symmetry and invariance in code to build tests without explicit specs.
Ready to connect★ 251
- View details
metamorphic-test-generatorSkillDev tools
Lets your agent generate extra test cases by checking input-output relationships instead of expected outputs.
Ready to connect★ 251
- View details
mocking-test-generatorSkillDatabases & data
Lets your agent generate unit tests with mocks for Python or Java code that uses databases, APIs, or files.
Ready to connect★ 251
- View details
model-guided-code-repairSkillAI & models
Lets your agent fix code that violates temporal logic properties using model-checking counterexamples.
Ready to connect★ 251
- View details
modular-code-enforcementSkillFiles & storage
Enforces a strict modular code style on your agent, blocking work if files exceed 200 lines or mix responsibilities.
Ready to connect★ 251
- View details
module-component-generatorSkillAI & models
Lets your agent generate complete code modules and components from interface contracts and specifications.
Ready to connect★ 251
- View details
module-level-code-translatorSkillDev tools
Lets your agent translate source code between programming languages while keeping behavior and adding verification tests.
Ready to connect★ 251
- View details
multi-version-behavior-comparatorSkillDev tools
Lets your agent compare how a program behaves across different versions and spot regressions or upgrade issues.
Ready to connect★ 251
- View details
mutation-test-suite-optimizerSkillDev tools
Lets your agent shrink and improve your test suite by finding redundant tests using mutation testing.
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.