Dev tools skills.
20,965 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,965 results · page 523 of 699
- View details
acsets-dynamic-loaderSkillDev tools
Finds and loads related acsets helper skills automatically so your agent has them ready.
Ready to connect★ 67
- View details
add-contest-table-providerSkillDev tools
Lets your agent add Claude skill content that creates contest table types across five code layers, writing tests first.
Ready to connect★ 67
- View details
adhd-ecs-ologSkillDev tools
Adds an adhd claude skill that structures how your agent plans tasks using entity-component-system models.
Ready to connect★ 67
- View details
adjunction-algebraSkillDev tools
Explains adjunctions in category theory using universal arrows.
Ready to connect★ 67
- View details
AgentDB Learning PluginsSkillDev tools
Lets your agent create and train reinforcement-learning plugins using AgentDB's plugin system.
Ready to connect★ 67
- View details
AgentDB Performance OptimizationSkillDev tools
Lets your agent speed up an AgentDB vector database by tuning indexes, adding caching, compressing data, and removing stale records.
Ready to connect★ 67
- View details
ai-edt-toolsSkillDev tools
Lets your agent analyze and edit 1C:Enterprise BSL code inside an Eclipse-based IDE.
★ 66
- View details
algebraic-rewritingSkillDev tools
Lets your agent transform structured attribute-based graphs using algebraic rewrite rules.
Ready to connect★ 67
- View details
aliceSkillDev tools
Gives your agent an Aptos testnet wallet so it can send test transactions.
Ready to connect★ 67
- View details
alice-chiralitySkillDev tools
Unclear what this does based on available information.
Ready to connect★ 67
- View details
alice-emacs-modsSkillDev tools
Gives your agent a guided tour of a personalized Emacs setup covering writing workflows, proofs, local LLM chats, voice input, and clipboard.
Ready to connect★ 67
- View details
alifeSkillDev tools
Gives your agent reference material on artificial life topics like cellular automata, swarms, and evolution.
Ready to connect★ 67
- 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
Looking for something else?
Dev tools is one category of skills on ahel. Browse all skills, or open another category above.