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: Dev tools
17,237 results · page 215 of 575
- 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
- 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
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
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
A python claude skill that lets your agent compare two versions of a Python library and flag breaking API changes.
Ready to connect★ 251
- View details
python-regression-test-generatorSkillDev tools
Lets your agent generate regression tests for Python code using a python claude skill that works with unittest and pytest.
Ready to connect★ 251
- View details
python-to-dafny-translatorSkillDev tools
Lets your agent translate Python programs into verifiable Dafny code with this python claude skill.
Ready to connect★ 251
- View details
python-to-lean4-translatorSkillDev tools
Lets your agent use a python claude skill that translates Python code into equivalent, working Lean4 programs.
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
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
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-enhancerSkillDev tools
Lets your agent turn vague, informal requirements into clear, complete, actionable specifications.
Ready to connect★ 251
- View details
review-and-fixSkillDev tools
Lets your agent review your code changes and automatically fix problems it finds, repeating until clean.
Ready to connect★ 251
- View details
review-architectureSkillDev tools
Lets your agent review changed code for architectural issues like layering mistakes and duplicated logic, then write a findings report.
Ready to connect★ 251
- View details
review-code-smellsSkillDev tools
Lets your agent review changed code for maintainability issues like duplication, dead code, and poor naming.
Ready to connect★ 251
- View details
review-docs-claimsSkillDev tools
Lets your agent review documentation for accuracy, prose quality, and leaked internal details.
Ready to connect★ 251
- View details
review-incan-source-qualitySkillDev tools
Lets your agent review Incan source files and report on readability, naming, and Python-like code quality.
Ready to connect★ 251
- View details
review-scopeSkillDev tools
Lets your agent check whether a code change actually matches the issue, RFC, or user request it was meant to address.
Ready to connect★ 251
- View details
review-test-styleSkillDev tools
Lets your agent review changed tests for style, unwrap/expect use, Result patterns, and missing coverage.
Ready to connect★ 251
- View details
rtl-specification-consistency-checkerSkillDev tools
Lets your agent check whether a hardware RTL implementation matches its high-level specification.
Ready to connect★ 251
- View details
runtime-error-explainerSkillDev tools
Lets your agent explain runtime errors and compile failures with clear debugging steps.
Ready to connect★ 251
- View details
scenario-generatorSkillDev tools
Lets your agent turn requirements into test scenarios, user stories, and acceptance criteria.
Ready to connect★ 251
- View details
semantic-szz-analyzerSkillDev tools
Lets your agent trace a bug fix back to the commit that first introduced the bug in your code history.
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.
55,004 of the 55,435 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.