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 378 of 750
- View details
multi-version-behavior-comparatorSkillDev tools
Lets your agent compare how a program behaves across different versions and spot regressions or upgrade issues.
Ready to connect★ 252
- View details
mutation-test-suite-optimizerSkillDev tools
Lets your agent shrink and improve your test suite by finding redundant tests using mutation testing.
Ready to connect★ 252
- View details
nl-to-constraintsSkillDev tools
Lets your agent turn plain-language requirements into formal, testable specs with explicit constraints.
Ready to connect★ 252
- View details
program-correctness-proverSkillDev tools
Lets your agent generate formal correctness proofs in Isabelle or Coq for imperative programs.
Ready to connect★ 252
- View details
proof-skeleton-generatorSkillDev tools
Lets your agent draft structured proof outlines with tactics and key lemmas for Isabelle or Coq theorems.
Ready to connect★ 252
- View details
pseudocode-extractorSkillDev tools
Turns source code in any language into plain pseudocode that shows the logic without syntax details.
Ready to connect★ 252
- View details
pseudocode-to-java-codeSkillDev tools
Lets your agent turn pseudocode or algorithm descriptions into complete, runnable Java code.
Ready to connect★ 252
- View details
pseudocode-to-python-codeSkillDev tools
Lets your agent turn pseudocode or algorithm descriptions into complete, runnable Python code.
Ready to connect★ 252
- View details
python-api-consistency-validatorSkillDev tools
A python claude skill that lets your agent compare two versions of a Python library and flag breaking API changes.
Ready to connect★ 252
- View details
python-regression-test-generatorSkillDev tools
Lets your agent write regression tests for changed Python code and update old tests to match.
Ready to connect★ 252
- View details
python-to-dafny-translatorSkillDev tools
Lets your agent translate Python programs into verifiable Dafny code with this python claude skill.
Ready to connect★ 252
- View details
python-to-lean4-translatorSkillDev tools
Lets your agent use a python claude skill that translates Python code into equivalent, working Lean4 programs.
Ready to connect★ 252
- View details
refinement-step-generatorSkillDev tools
Lets your agent break abstract formal specifications into step-by-step refinements in Isabelle/HOL or Coq.
Ready to connect★ 252
- View details
regression-consistency-checkerSkillDev tools
Lets your agent compare two code versions to check whether old tests still behave the same.
Ready to connect★ 252
- View details
release-change-analyzerSkillDev tools
Lets your agent compare code changes since the last release and suggest the right version bump.
Ready to connect★ 252
- View details
replay-oriented-instrumentationSkillDev tools
Lets your agent record program execution so hard-to-reproduce bugs can be replayed and debugged.
Ready to connect★ 252
- View details
reproduction-trace-instrumenterSkillDev tools
Lets your agent instrument code to record execution traces that replay and diagnose reported bugs.
Ready to connect★ 252
- View details
req-to-testSkillDev tools
Lets your agent turn requirements and user stories into test scenarios, including Gherkin, unit, and end-to-end tests.
Ready to connect★ 252
- View details
requirement-enhancerSkillDev tools
Lets your agent turn vague, informal requirements into clear, complete, actionable specifications.
Ready to connect★ 252
- View details
rtl-specification-consistency-checkerSkillDev tools
Lets your agent check whether a hardware RTL implementation matches its high-level specification.
Ready to connect★ 252
- View details
runtime-error-explainerSkillDev tools
Lets your agent explain runtime errors and compile failures with clear debugging steps.
Ready to connect★ 252
- View details
scenario-generatorSkillDev tools
Lets your agent turn requirements into test scenarios, user stories, and acceptance criteria.
Ready to connect★ 252
- View details
semantic-szz-analyzerSkillDev tools
Lets your agent trace a bug fix back to the commit that first introduced the bug in your code history.
Ready to connect★ 252
- View details
smart-mutation-operator-generatorSkillDev tools
Lets your agent analyze a codebase and generate custom mutation operators for testing how well its tests catch bugs.
Ready to connect★ 252
- View details
grace-executeSkillDev tools
Lets your agent run an approved GRACE change plan step by step with preflight checks and recovery.
Ready to connect★ 252
- View details
grace-explainerSkillDev tools
Lets your agent explain the GRACE 4 methodology, its artifacts, change lifecycle, verification, and migration boundaries.
Ready to connect★ 252
- View details
grace-fixSkillDev tools
Lets your agent debug and fix issues in a GRACE 4 project using semantic navigation and verification evidence.
Ready to connect★ 252
- View details
grace-initSkillDev tools
Sets up a GRACE 4 project by creating its standard context, graph, verification, and changes files.
Ready to connect★ 252
- View details
grace-refreshSkillDev tools
Lets your agent compare a repository's actual state against its GRACE 4 records and create changes to fix mismatches.
Ready to connect★ 252
- View details
grace-reviewerSkillDev tools
Lets your agent review GRACE 4 integrity across artifacts, changes, scopes, assertions, anchors, and evidence.
Ready to connect★ 252
Looking for something else?
Dev tools is one category of skills on Ahel. Browse all skills, or open another category above.