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 214 of 575
- View details
code-translationSkillDev tools
Lets your agent convert code between languages like Python, JavaScript, Java, Go, Rust, and C++.
Ready to connect★ 251
- View details
conflict-analyzerSkillDev tools
Lets your agent scan requirements and plans for contradictions, incompatibilities, and conflicting priorities.
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
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
create-pr-descriptionSkillDev tools
Lets your agent draft a pull request description that follows the repo's PR template and current changes.
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
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
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
fleet-auditSkillDev tools
Lets your agent report which local git worktrees under tmp/ are safe to close or need a human look.
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
git-bisect-assistantSkillDev tools
Lets your agent run git bisect automatically to find which commit broke your code, a git claude skill for debugging.
Ready to connect★ 251
- View details
github-triageSkillDev tools
Lets your agent triage GitHub issues and PRs using this GitHub Claude skill for classification and reports.
Ready to connect★ 251
- View details
hello-worldSkillDev tools
Lets your agent print a simple hello world message to test it works.
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
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
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
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
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
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
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.