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,235 results · page 31 of 575
- View details
coverage-analysisSkillDev tools
Lets your agent measure what a fuzzing campaign actually covers and turn uncovered code into new tests.
Ready to connect★ 7k
- View details
diagramming-codeSkillDev tools
Lets your agent turn code into Mermaid diagrams like call graphs, class hierarchies, and dependency maps.
Ready to connect★ 7k
- View details
dwarf-expertSkillDev tools
Gives your agent expert knowledge to analyze DWARF debug files and answer questions about the DWARF format.
Ready to connect★ 7k
- View details
fuzzing-obstaclesSkillDev tools
Patches past the barriers that stop a fuzzer making progress — checksum and hash verification, magic-value validation, time-based seeds, and other non-deterministic global state. Covers locating the blocking check, neutering it behind a fuzzing build flag, and avoiding the false positives a patch ca
Ready to connect★ 7k
- View details
genotoxicSkillDev tools
Lets your agent triage mutation testing results by finding false positives, coverage gaps, and fuzzing targets.
Ready to connect★ 7k
- View details
harness-writingSkillDev tools
Guides your agent in writing and improving fuzzing harnesses for C/C++ and Rust code.
Ready to connect★ 7k
- View details
interpreting-culture-indexSkillDev tools
Lets your agent interpret Culture Index personality surveys, team fit, burnout risk, and hiring profiles.
Ready to connect★ 7k
- View details
libfuzzerSkillDev tools
Sets up and runs libFuzzer, the coverage-guided fuzzer built into LLVM, on C/C++ code that compiles with Clang. Covers harness structure, -fsanitize=fuzzer builds, corpus and dictionary management, sanitizer integration, and campaign triage. Use when writing or debugging an LLVMFuzzerTestOneInput ha
Ready to connect★ 7k
- View details
modern-pythonSkillDev tools
Sets up Python projects with modern tools like uv and ruff for faster dependency management and linting.
Ready to connect★ 7k
- View details
mutation-testingSkillDev tools
Lets your agent set up and tune mutation testing runs, including scoping targets and optimizing long-running campaigns.
Ready to connect★ 7k
- View details
open-sourcingSkillDev tools
Helps your agent prepare a code repository for public release, including license choice and release checks.
Ready to connect★ 7k
- View details
pr-improverSkillDev tools
Lets your agent automatically review and fix code changes on a branch until a PR review passes.
Ready to connect★ 7k
- View details
property-based-testingSkillDev tools
Lets your agent write and debug property-based tests that cover whole input ranges instead of a few examples.
Ready to connect★ 7k
- View details
semgrep-rule-variant-creatorSkillDev tools
Lets your agent convert an existing Semgrep rule into versions for other programming languages.
Ready to connect★ 7k
- View details
supply-chain-risk-auditorSkillDev tools
Lets your agent audit project dependencies for supply-chain risks like abandoned packages and risky install scripts.
Ready to connect★ 7k
- View details
token-integration-analyzerSkillDev tools
Lets your agent check a token contract for ERC20/ERC721 conformity, odd token patterns, owner privileges, and scarcity.
Ready to connect★ 7k
- View details
trailmark-review-gateSkillDev tools
Lets your agent scan code changes for new security risks like removed validation, privilege drift, or newly exposed entrypoints.
Ready to connect★ 7k
- View details
trailmark-structuralSkillDev tools
Lets your agent run Trailmark code analysis to report hotspots, taint flows, blast radius, and attack surface.
Ready to connect★ 7k
- View details
trailmark-summarySkillDev tools
Lets your agent scan a codebase and report its languages, entry points, and dependencies.
Ready to connect★ 7k
- View details
trailofbits:entry-pointsSkillDev tools
Lets your agent find the functions in a smart contract that can change its state.
★ 7k
- View details
trailofbits:semgrep-ruleSkillDev tools
Lets your agent write Semgrep code-scanning rules using a test-first approach.
★ 7k
- View details
trailofbits:spec-complianceSkillDev tools
Lets your agent check whether code actually implements the requirements written in a specification.
★ 7k
- View details
writing-lean-proofsSkillDev tools
Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining new types or definitions in a Lean library, reviewing Lean proofs for readability and maintainability
Ready to connect★ 7k
- View details
zeroize-auditSkillDev tools
Lets your agent scan C, C++, or Rust code to find places where secrets like keys or passwords are not properly erased from memory.
Ready to connect★ 7k
- View details
build-brightstaffSkillDev tools
Lets your agent compile the brightstaff native binary after code changes.
Ready to connect★ 7k
- View details
build-cliSkillDev tools
Lets your agent build and install the planoai Python CLI locally after changes to the cli/ code.
Ready to connect★ 7k
- View details
build-wasmSkillDev tools
Lets your agent build WASM plugins for Envoy when plugin code changes.
Ready to connect★ 7k
- View details
checkSkillDev tools
Lets your agent run Rust formatting, clippy lint checks, and unit tests after code changes.
Ready to connect★ 7k
- View details
plano-config-fundamentalsSkillDev tools
Lets your agent validate and fix Plano configuration files, covering versioning, listeners, providers, and startup errors.
Ready to connect★ 7k
- View details
test-pythonSkillDev tools
Lets your agent run Python command-line tests to check code changes.
Ready to connect★ 7k
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,764 of the 55,196 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.