Dev tools skills.
20,075 dev tools skills, including improve-codebase-architecture, tdd and setup-matt-pocock-skills, are listed on ahel today. Each one has a page of its own that says what it does and whether ahel can serve it in Claude, Claude Code, ChatGPT, Codex and Cursor.
Category: Dev tools
20,075 results · page 496 of 670
- View details
amp-team-usageSkillDev tools
Lets your agent check how much Amp coding-agent credit each member of your team has used.
Ready to connect★ 67
- View details
anima-theorySkillDev tools
Gives your agent a formal framework for reasoning about agency, prediction, and world models using abstract math.
Ready to connect★ 67
- View details
anoma-intentsSkillDev tools
Lets your agent work with Anoma's intent-based system for coordinating transactions across different blockchains.
Ready to connect★ 67
- View details
aptos-ecosystemSkillDev tools
Gives your agent information about projects and tools built around the Aptos blockchain.
Ready to connect★ 67
- View details
aptos-gf3-societySkillDev tools
Lets your agent work with Aptos blockchain resources related to the Plurigrid ASI project.
Ready to connect★ 67
- View details
aptos-orderless-wevSkillDev tools
Lets your agent work with Aptos blockchain transactions that run without ordering while keeping results consistent.
Ready to connect★ 67
- View details
aptos-societySkillDev tools
Lets your agent access resources related to Aptos Society Scale.
Ready to connect★ 67
- View details
aptos-wallet-mcpSkillDev tools
Lets your agent manage an Aptos blockchain wallet, including checking balances and handling transactions.
Ready to connect★ 67
- View details
aqua-voice-malleabilitySkillDev tools
Analyzes an Electron voice app for security weaknesses like message injection and traffic interception.
Ready to connect★ 67
- View details
arSkillDev tools
Gives your agent knowledge about augmented reality features like passthrough overlays, anchors, occlusion, lighting, and camera permissions.
Ready to connect★ 67
- View details
aristotle-leanSkillDev tools
Lets your agent write and check mathematical proofs using the Lean proof assistant.
Ready to connect★ 67
- View details
asiSkillDev tools
Lets your agent access the asi repository, an experimental dev-tool project described only as 'topological chemputer'.
Ready to connect★ 67
- View details
asi-integratedSkillDev tools
Lets your agent combine ACSets, bisimulation games, world-hopping, and glass-bead synthesis into one unified skill.
Ready to connect★ 67
- View details
asi-polynomial-operadsSkillDev tools
Gives your agent math helpers for working with polynomial functors and related structures.
Ready to connect★ 67
- View details
asi-skill-selectorSkillDev tools
Lets your agent pick and dispatch the right skill using GF(3)-balanced selection via a CLI.
Ready to connect★ 67
- View details
asi-transient-agendaSkillDev tools
Gives your agent an agenda-style dashboard view over its running tasks, like Emacs Org-mode agendas.
Ready to connect★ 67
- View details
assembly-indexSkillDev tools
Lets your agent measure the structural complexity of molecules using Lee Cronin's assembly theory.
Ready to connect★ 67
- View details
- View details
atc-cloudificationSkillDev tools
Lets your agent run SAP ATC cloud-readiness checks and classify custom code into clean core levels A through D.
Ready to connect★ 66
- View details
atproto-ingestSkillDev tools
Lets your agent collect posts and follower connections from Bluesky.
Ready to connect★ 67
- View details
attractorSkillDev tools
Lets your agent analyze dynamical systems by identifying invariant sets that attract nearby trajectories.
Ready to connect★ 67
- View details
audit-branchSkillDev tools
Pre-PR audit of the current branch — dead code, duplicate symbols, contract drift, leftover artifacts, import gaps.
Ready to connect★ 67
- View details
audit-orchestratorSkillDev tools
Lets your agent coordinate and run audits across projects.
Ready to connect★ 67
- View details
authorization-iamSkillDev tools
Gives your agent expert help with SAP ABAP permissions like authorization objects, business roles, and access controls.
Ready to connect★ 66
- View details
bSkillDev tools
Lets your agent load the "World B" dev-tool skill from github.com/plurigrid/asi.
Ready to connect★ 67
- View details
b01babSkillDev tools
Unclear-purpose dev-tool skill whose description does not explain what it enables.
Ready to connect★ 67
- View details
b42fb4SkillDev tools
Provides an undocumented development-tool skill whose actual capabilities aren't described.
Ready to connect★ 67
- View details
babashkaSkillDev tools
Lets your agent run Clojure scripts that start instantly instead of waiting seconds for Java.
Ready to connect★ 67
- View details
babashka-cljSkillDev tools
Lets your agent run quick Clojure scripts without needing Java installed.
Ready to connect★ 67
- View details
badi-enhancementSkillDev tools
Guides your agent through building SAP BAdI enhancements and classifying which extension techniques suit a clean core.
Ready to connect★ 66
Looking for something else?
Dev tools is one category of skills on ahel. Browse all skills, or open another category above.