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 762 of 1,842
- View details
nl-to-constraintsSkillDev tools
Lets your agent turn plain-language requirements into formal, testable specs with explicit constraints.
Ready to connect★ 251
- View details
program-correctness-proverSkillDev tools
Lets your agent generate formal correctness proofs in Isabelle or Coq for imperative programs.
Ready to connect★ 251
- View details
program-to-model-extractorSkillAI & models
Converts functional code in Haskell, OCaml, or F# into formal Isabelle/HOL mathematical models.
Ready to connect★ 251
- View details
program-to-tlaplus-spec-generatorSkillAI & models
Lets your agent turn program code or system designs into TLA+ formal specifications.
Ready to connect★ 251
- View details
proof-carrying-code-generatorSkillDocs & knowledge
Lets your agent generate code along with mathematical proofs that it is safe and correct.
Ready to connect★ 251
- View details
proof-failure-explainerSkillCommunication
Lets your agent analyze why Isabelle or Coq proofs fail and explain the root cause in plain terms.
Ready to connect★ 251
- View details
proof-refactoring-assistantSkillDocs & knowledge
Lets your agent restructure Isabelle or Coq proofs to be cleaner and easier to maintain without changing their meaning.
Ready to connect★ 251
- View details
proof-skeleton-generatorSkillDev tools
Lets your agent draft structured proof outlines with tactics and key lemmas for Isabelle or Coq theorems.
Ready to connect★ 251
- View details
proof-trace-summarizerSkillDocs & knowledge
Summarizes long Isabelle or Coq proof scripts into readable high-level logical steps.
Ready to connect★ 251
- View details
pseudocode-extractorSkillDev tools
Turns source code in any language into plain pseudocode that shows the logic without syntax details.
Ready to connect★ 251
- View details
pseudocode-to-java-codeSkillDev tools
Lets your agent turn pseudocode or algorithm descriptions into complete, runnable Java code.
Ready to connect★ 251
- View details
pseudocode-to-python-codeSkillDev tools
Lets your agent turn pseudocode or algorithm descriptions into complete, runnable Python code.
Ready to connect★ 251
- View details
python-api-consistency-validatorSkillDev tools
Lets your agent compare two versions of a Python library to find breaking API changes.
Ready to connect★ 251
- View details
python-regression-test-generatorSkillDev tools
Lets your agent generate and update regression tests for Python code changes, including mocks for dependencies.
Ready to connect★ 251
- View details
python-repo-quickstartSkillAI & models
Lets your agent analyze a Python repository to understand its structure, entry points, dependencies, and setup needs.
Ready to connect★ 251
- View details
python-test-updaterSkillAI & models
Lets your agent update Python test code so it keeps working after the code being tested changes.
Ready to connect★ 251
- View details
python-to-dafny-translatorSkillDev tools
Converts your Python code into Dafny so it can be formally verified.
Ready to connect★ 251
- View details
python-to-lean4-translatorSkillDev tools
Lets your agent convert Python programs into equivalent Lean4 code with types checked.
Ready to connect★ 251
- View details
react-native-best-practicesSkillFiles & storage
Gives your agent best-practice guidance for building React Native mobile apps with shared code and good performance.
Ready to connect★ 251
- View details
readme-generatorSkillFiles & storage
Lets your agent write a README.md for a code repository, covering setup, prerequisites, and usage instructions.
Ready to connect★ 251
- View details
reference-searcherSkillDocs & knowledge
Lets your agent search docs, open-source repos, and the web for references and code examples.
Ready to connect★ 251
- View details
refinement-step-generatorSkillDev tools
Lets your agent break abstract formal specifications into step-by-step refinements in Isabelle/HOL or Coq.
Ready to connect★ 251
- View details
regression-consistency-checkerSkillDev tools
Lets your agent compare two code versions to check whether old tests still behave the same.
Ready to connect★ 251
- View details
regression-root-cause-analyzerSkillCommunication
Finds the root cause of failing regression tests by analyzing code changes, errors, and test dependencies.
Ready to connect★ 251
- View details
release-change-analyzerSkillDev tools
Lets your agent compare code changes since the last release and suggest the right version bump.
Ready to connect★ 251
- View details
release-notes-writerSkillDocs & knowledge
Lets your agent write user-facing release notes from git commits, pull requests, and code changes.
Ready to connect★ 251
- View details
replay-oriented-instrumentationSkillDev tools
Lets your agent record program execution so hard-to-reproduce bugs can be replayed and debugged.
Ready to connect★ 251
- View details
reproduction-trace-instrumenterSkillDev tools
Lets your agent instrument code to record execution traces that replay and diagnose reported bugs.
Ready to connect★ 251
- View details
req-to-testSkillDev tools
Lets your agent turn requirements or user stories into test scenarios like BDD Gherkin, unit, integration, and end-to-end tests.
Ready to connect★ 251
- View details
requirement-comparison-reporterSkillDocs & knowledge
Lets your agent compare old and new requirement documents, map changes to code components, and draft modification plans.
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.