Dev tools skills.
22,476 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
22,476 results · page 682 of 750
- View details
- View details
formal-verificationSkillDev tools
Comprehensive formal verification skill covering property writing (SVA/assertions), proof engine tuning, complexity management, TCL scripting, and end-to-end FPV workflows. Validated for JasperGold; VC Formal support is planned (extensible). Use this skill whenever the user works on formal property
Ready to connect
- View details
- View details
- View details
- View details
- View details
gitcode-prSkillDev tools
Handle GitCode PR workflow for OpenHarmony - commit changes, push to fork remote, create issue, create PR from fork to upstream using repo's .gitee/PULL_REQUEST_TEMPLATE.zh-CN.md with issue linking via #number. Use when user wants to submit/create PR or commit changes. Auto-checks if PR exists and o
Ready to connect
- View details
- View details
glassboxSkillDev tools
Read the latest Glassbox code review and apply all feedback annotations
Ready to connect
- View details
graphic-2d-PRSkillDev tools
The complete workflow for creating a pull request in the OpenHarmony graphic_graphic_2d repository, including creating an issue, linking them, and pushing to the fork.
Ready to connect
- View details
grill-my-changeSkillDev tools
Use when the user asks to sanity-check, rehearse, pressure-test, or get grilled on a planned tenant change before executing it.
Ready to connect
- View details
gstack-upgradeSkillDev tools
Upgrade gstack to the latest version. Detects global vs vendored install, runs the upgrade, and shows what's new. Use when asked to "upgrade gstack", "update gstack", or "get latest version".
Ready to connect
- View details
harmonyos-autotestSkillDev tools
Complete HarmonyOS automated testing workflow orchestrator. Converts natural language test requirements to executable Hypium test cases through step parsing, environment checking, project creation, control parsing, operation execution, debugging, and test case writing. Use when user wants to run com
Ready to connect
- View details
hmos-multidevice-interaction-methodsSkillDev tools
Skill for HarmonyOS multi-device interaction adaptation development, providing interaction solutions and unified strategies for touch, mouse, keyboard, stylus, and other input methods. Invoke when dealing with interactions involving touch, mouse, keyboard, or stylus, or when implementing interaction
Ready to connect
- View details
hmos-multidevice-screen-window-sizeSkillDev tools
Handle HarmonyOS screen and window size adaptation, including breakpoint systems, responsive layouts, GridRow/GridCol usage, window size observation, and multi-device layout changes.
Ready to connect
- View details
hook-gokilSkillDev tools
Use when a draft, script, post, carousel, thread, headline, or content idea needs a stronger Indonesian or multilingual opening, multiple stop-scroll hook options, a WTF or killer hook, hook diagnosis, candidate selection, or a truth-preserving rewrite.
Ready to connect
- View details
hotsheetSkillDev tools
Read the Hot Sheet worklist and work through the current priority items
Ready to connect
- View details
hotsheet-workerSkillDev tools
Run as a self-claim worker — continuously claim, work, and release Up Next tickets
Ready to connect
- View details
- View details
hs-featureSkillDev tools
Create a new feature ticket in Hot Sheet
- View details
hs-investigationSkillDev tools
Create a new investigation ticket in Hot Sheet
- View details
hs-issueSkillDev tools
Create a new issue ticket in Hot Sheet
- View details
hs-requirement-changeSkillDev tools
Create a new req change ticket in Hot Sheet
- View details
hxSkillDev tools
Build, test, run, lint, format, and manage dependencies for Haskell projects using the hx toolchain CLI. Use whenever working in a Haskell project that has an hx.toml (or when setting one up), or when the user asks to build/test/run/typecheck Haskell code, manage GHC/Cabal versions, or add/remove Ha
Ready to connect
- View details
implementing-codeSkillDev tools
Lets your agent write code changes in your project and commit them with git following your commit conventions.
Ready to connect
- View details
interop-promiseSkillDev tools
ETS-JavaScript interop Promise bridging system in ArkCompiler. Use this skill when working on cross-language Promise conversion between ETS (ArkTS) and JavaScript, including JSConvertPromise Wrap/Unwrap, EtsPromise proxy creation, EtsPromiseRef bridging, CreatePromiseLink, OnJsPromiseCompleted callb
Ready to connect
- View details
intune-assignmentsSkillDev tools
Use when the user asks what Intune apps, policies, configuration profiles, devices, or groups are assigned, targeted, excluded, conflicting, or missing.
Ready to connect
- View details
intune-complianceSkillDev tools
Use when the user asks why Intune devices are noncompliant, failing compliance, blocked, in grace period, or need compliance policy triage.
Ready to connect
- View details
- View details
kerf-appSkillDev tools
Build UIs in the kerf reactive framework (https://github.com/brianwestphal/kerf). Use this skill whenever the user is writing or modifying code that imports `kerfjs`, asks to add a feature to a kerf app, or asks "how do I do X in kerf?". Use it proactively the moment you spot a kerf import in the fi
Ready to connect
Looking for something else?
Dev tools is one category of skills on Ahel. Browse all skills, or open another category above.