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 377 of 750
- View details
ci-pipeline-synthesizerSkillDev tools
Generates GitHub Actions CI/CD pipeline configs that automatically build and test your library projects.
Ready to connect★ 252
- View details
code-completion-semantic-constraintsSkillDev tools
Lets your agent finish partial code snippets while respecting types, contracts, and expected behavior.
Ready to connect★ 252
- View details
code-pattern-extractorSkillDev tools
Lets your agent analyze a codebase to find reusable patterns, duplications, and abstraction opportunities.
Ready to connect★ 252
- View details
code-repair-generation-comboSkillDev tools
Lets your agent fix bugs in Python, Java, or C++ code and generate tests for it.
Ready to connect★ 252
- View details
code-summarizerSkillDev tools
Lets your agent generate concise summaries explaining what a function, class, module, or whole codebase does.
Ready to connect★ 252
- View details
code-translationSkillDev tools
Lets your agent convert code between languages like Python, JavaScript, Java, Go, Rust, and C++.
Ready to connect★ 252
- View details
conflict-analyzerSkillDev tools
Lets your agent scan requirements and plans for contradictions, incompatibilities, and conflicting priorities.
Ready to connect★ 252
- View details
control-flow-abstraction-generatorSkillDev tools
Lets your agent generate control flow graphs showing loops, branches, and function calls for analyzing code.
Ready to connect★ 252
- View details
counterexample-debuggerSkillDev tools
Helps your agent debug failed formal proofs by finding concrete counterexamples that show why the proof fails.
Ready to connect★ 252
- View details
counterexample-explainerSkillDev tools
Lets your agent explain why a counterexample breaks a specification, tracing the failure step by step.
Ready to connect★ 252
- View details
cpp-to-dafny-translatorSkillDev tools
Lets your agent convert C/C++ programs into equivalent Dafny code that can be formally verified.
Ready to connect★ 252
- View details
dead-code-removalSkillDev tools
Lets your agent find and remove unused code from a project by scanning, verifying references, and committing changes.
Ready to connect★ 252
- View details
deprecated-api-updaterSkillDev tools
Lets your agent find and replace deprecated API calls in your code with modern alternatives.
Ready to connect★ 252
- View details
edge-case-generatorSkillDev tools
Lets your agent find boundary and edge cases from requirements or code and generate test cases for them.
Ready to connect★ 252
- View details
formal-spec-generatorSkillDev tools
Lets your agent turn code or plain descriptions into formal proofs-ready specs in Isabelle/HOL or Coq.
Ready to connect★ 252
- View details
framework-migration-assistantSkillDev tools
Lets your agent migrate Python web apps between frameworks like Flask, Django, and FastAPI automatically.
Ready to connect★ 252
- View details
git-bisect-assistantSkillDev tools
Lets your agent run git bisect automatically to find which commit broke your code, a git claude skill for debugging.
Ready to connect★ 252
- View details
github-triageSkillDev tools
Lets your agent triage GitHub issues and PRs using this GitHub Claude skill for classification and reports.
Ready to connect★ 252
- View details
incremental-java-programmerSkillDev tools
Lets your agent write code for new Java features in Maven or Gradle projects, with matching JUnit tests.
Ready to connect★ 252
- View details
interval-difference-analyzerSkillDev tools
Lets your agent compare two versions of a program to find added, removed, or changed numeric intervals.
Ready to connect★ 252
- View details
interval-guided-regression-test-updateSkillDev tools
Lets your agent update regression tests automatically when code changes affect value ranges or control flow.
Ready to connect★ 252
- View details
java-api-consistency-validatorSkillDev tools
Lets your agent compare two versions of a Java library to find breaking API and behavior changes.
Ready to connect★ 252
- View details
java-regression-test-generatorSkillDev tools
Lets your agent generate regression tests for Java code by comparing old and new code versions.
Ready to connect★ 252
- View details
java-test-updaterSkillDev tools
Lets your agent rewrite Java test files so they still work after code refactoring.
Ready to connect★ 252
- View details
lemma-discovery-assistantSkillDev tools
Lets your agent analyze stuck or failed proofs and suggest helper lemmas in Isabelle/HOL or Coq.
Ready to connect★ 252
- View details
library-advisorSkillDev tools
Lets your agent suggest matching Isabelle/HOL or Coq standard library lemmas, theories, and tactics for your proof goals.
Ready to connect★ 252
- View details
lsp-refactoringSkillDev tools
Lets your agent refactor code safely using rename, find-references, and go-to-definition with syntax-aware matching.
Ready to connect★ 252
- View details
metamorphic-property-extractorSkillDev tools
Lets your agent find metamorphic properties like symmetry and invariance in code to build tests without explicit specs.
Ready to connect★ 252
- View details
metamorphic-test-generatorSkillDev tools
Lets your agent generate extra test cases by checking input-output relationships instead of expected outputs.
Ready to connect★ 252
- View details
module-level-code-translatorSkillDev tools
Lets your agent translate source code between programming languages while keeping behavior and adding verification tests.
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.