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 213 of 575
- View details
apify-easy-competitive-intelligenceSkillDev tools
An apify claude skill that lets your agent research competitors using live web data like reviews, pricing, and hiring.
Ready to connect★ 256
- View details
apify-influencer-brand-collabsSkillDev tools
An Apify Claude skill that finds Instagram brand–creator partnerships, showing which brands an influencer has done paid posts for.
Ready to connect★ 256
- View details
mcp-engine-dax-debuggingSkillDev tools
Lets your agent debug Power BI measures and DAX queries that return wrong values, blanks, or inconsistent totals.
Ready to connect★ 256
- View details
mcp-engine-querySkillDev tools
Helps your agent write, validate, and test DAX queries against a data model, including checking row-level security.
Ready to connect★ 256
- View details
chemical-entitySkillDev tools
Helps your agent correctly handle chemical entity terms and CHEBI IDs when editing ontology terms.
Ready to connect★ 255
- View details
mappingSkillDev tools
Lets your agent work with database cross-references (dbxrefs) in the Gene Ontology.
Ready to connect★ 255
- View details
reactionSkillDev tools
Lets your agent look up and work with enzyme reaction terms used to describe catalytic activity.
Ready to connect★ 255
- View details
taxon-constraintSkillDev tools
Lets your agent work with GO taxon constraints using onlyin and neverin superclass assertions.
Ready to connect★ 255
- View details
term-obsoletionSkillDev tools
Lets your agent analyze the impact of obsoleting an ontology term, including references and annotations affected.
Ready to connect★ 255
- View details
ghealthSkillDev tools
Lets your agent query Google Health data like steps, sleep, heart rate, and nutrition.
Ready to connect★ 254
- View details
ghealth-sharedSkillDev tools
Sets up authentication and shared configuration needed to run the other ghealth skills.
Ready to connect★ 254
- View details
publish-prSkillDev tools
Lets your agent publish GitHub pull requests with a Claude skill that follows the repository's PR template exactly.
Ready to connect★ 254
- View details
summarySkillDev tools
Lets your agent write a concise implementation summary for a pull request description.
Ready to connect★ 252
- View details
abstract-domain-explorerSkillDev tools
Lets your agent statically analyze program variables to infer value ranges, invariants, and relationships between them.
Ready to connect★ 251
- View details
abstract-invariant-generatorSkillDev tools
Infers loop invariants and function pre/postconditions to support formal verification in tools like Dafny or Coq.
Ready to connect★ 251
- View details
abstract-state-analyzerSkillDev tools
Lets your agent analyze source code without running it to find possible runtime errors like null dereferences and out-of-bounds accesses.
Ready to connect★ 251
- View details
abstract-trace-summarizerSkillDev tools
Lets your agent analyze code with abstract interpretation to summarize execution traces and program behavior.
Ready to connect★ 251
- View details
assertion-synthesizerSkillDev tools
Lets your agent generate test assertions by analyzing how existing code behaves with its inputs, outputs, and state changes.
Ready to connect★ 251
- View details
behavior-preservation-checkerSkillDev tools
Lets your agent compare runtime behavior of original and migrated code to catch regressions and semantic changes.
Ready to connect★ 251
- View details
behavioral-mutation-analyzerSkillDev tools
Lets your agent analyze mutation testing results to explain why tests missed certain code changes.
Ready to connect★ 251
- View details
bisect-aware-instrumentationSkillDev tools
Lets your agent add code instrumentation that gives clear pass/fail results for each commit during git bisect debugging.
Ready to connect★ 251
- View details
bug-history-summarizerSkillDev tools
Lets your agent trace a bug's full history: when it was introduced, fixed, and regressed across code versions.
Ready to connect★ 251
- View details
build-ci-migration-assistantSkillDev tools
Lets your agent build claude skill migrations that convert Maven, Gradle, and CI configs between platforms.
Ready to connect★ 251
- View details
bump-rfcSkillDev tools
Lets your agent move an Incan RFC through its status stages like Draft to Planned or In Progress to Implemented.
Ready to connect★ 251
- View details
c-cpp-to-lean4-translatorSkillDev tools
Lets your agent translate C or C++ programs into equivalent, runnable Lean4 code.
Ready to connect★ 251
- View details
ci-pipeline-synthesizerSkillDev tools
Generates GitHub Actions CI/CD pipeline configs that automatically build and test your library projects.
Ready to connect★ 251
- View details
code-completion-semantic-constraintsSkillDev tools
Lets your agent finish partial code snippets while respecting types, contracts, and expected behavior.
Ready to connect★ 251
- View details
code-pattern-extractorSkillDev tools
Lets your agent analyze a codebase to find reusable patterns, duplications, and abstraction opportunities.
Ready to connect★ 251
- View details
code-repair-generation-comboSkillDev tools
Lets your agent fix bugs in Python, Java, or C++ code and generate tests for it.
Ready to connect★ 251
- View details
code-summarizerSkillDev tools
Lets your agent generate concise summaries explaining what a function, class, module, or whole codebase does.
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.