Dev tools skills.
22,488 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,488 results · page 456 of 750
- View details
javascript-typescriptSkillDev tools
Gives your agent knowledge of JavaScript and TypeScript development with Node, React, and modern frameworks.
Ready to connect★ 144
- View details
latex-health-checkSkillDev tools
A latex claude skill that compiles all your LaTeX projects and reports whether they build consistently.
Ready to connect★ 144
- View details
latex-templateSkillDev tools
Lets your agent check a LaTeX document's preamble against a standard working-paper template to spot drift.
Ready to connect★ 144
- View details
lean-checkSkillDev tools
Lets your agent verify a math lemma or theorem by formally checking it in Lean 4 and requiring a clean build.
Ready to connect★ 144
- View details
math-proofSkillDev tools
Lets your agent write clear, detailed mathematical proofs for academic papers.
Ready to connect★ 144
- View details
method-auditSkillDev tools
Lets your agent extract and compare data-collection methods across multiple research papers.
Ready to connect★ 144
- View details
multi-perspectiveSkillDev tools
Lets your agent analyze a research question from multiple viewpoints and compare where they agree or disagree.
Ready to connect★ 144
- View details
numerical-checkSkillDev tools
Lets your agent stress-test a math claim numerically across parameter values to find counterexamples or violations.
Ready to connect★ 144
- View details
pipeline-manifestSkillDev tools
Lets your agent build a manifest linking analysis scripts to their inputs, outputs, and manuscript figures or tables.
Ready to connect★ 144
- View details
pre-submission-reportSkillDev tools
Runs a final pre-submission check on your paper and packages all results into one dated readiness report.
Ready to connect★ 144
- View details
project-deckSkillDev tools
Lets your agent create a presentation deck summarizing a project's status, decisions, risks, and next steps.
Ready to connect★ 144
- View details
project-safetySkillDev tools
Lets your agent set up safety rules and protected folders for research projects, or fix ones that drifted.
Ready to connect★ 144
- View details
proof-readabilitySkillDev tools
Lets your agent rewrite a math proof that is already correct so it reads more clearly, without changing the math.
Ready to connect★ 144
- View details
python-envSkillDev tools
Lets your agent set up Python environments and install packages using uv.
★ 144
- View details
replication-auditSkillDev tools
Lets your agent check research findings against independent replications, failures, and evidence gaps.
Ready to connect★ 144
- View details
replication-packageSkillDev tools
Lets your agent assemble, anonymize, and audit a research replication package for journal or public release.
★ 144
- View details
review-clusterSkillDev tools
Lets your agent run an adversarial review of a draft paper and produce a prioritised revision plan.
Ready to connect★ 144
- View details
rsc-data-optimizerSkillDev tools
Lets your agent convert slow client-side data fetching in Next.js apps to faster server-side fetching.
Ready to connect★ 144
- View details
shadcn-managementSkillDev tools
Lets your agent add and manage shadcn/ui components in your project using the shadcn claude skill.
Ready to connect★ 144
- View details
skill-extractSkillDev tools
Lets your agent save lessons and workflows from the current session as a reusable skill for future sessions.
Ready to connect★ 144
- View details
symbolic-checkSkillDev tools
Lets your agent use SymPy to prove or disprove algebraic identities, derivatives, limits, or closed forms exactly.
Ready to connect★ 144
- View details
synthesise-reviewsSkillDev tools
Lets your agent merge multiple review reports into one prioritised revision plan with conflicts and dependencies noted.
Ready to connect★ 144
- View details
test-iterate-loopSkillDev tools
Lets your agent run tests, diagnose failures, apply minimal fixes, and retry until tests pass.
★ 144
- View details
update-focusSkillDev tools
Lets your agent update claude skill notes by writing a structured session summary into current-focus.md.
Ready to connect★ 144
- View details
venue-forkSkillDev tools
Lets your agent fork a research paper into a second-venue submission variant with policy checks and format conversion.
Ready to connect★ 144
- View details
verify-mathSkillDev tools
Lets your agent verify its own math results using adversarial review, numerical tests, symbolic checks, and Lean proofs.
Ready to connect★ 144
- View details
voice-analyzerSkillDev tools
Lets your agent analyze writing samples to build a personal voice profile and style guide.
Ready to connect★ 144
- View details
voice-editorSkillDev tools
Lets your agent rewrite draft prose to match a specific author's established writing voice and style.
Ready to connect★ 144
- View details
windows-safe-grepSkillDev tools
Lets your agent search file contents on Windows when normal grep tools break on paths with backslashes.
Ready to connect★ 144
- View details
wire-shared-packageSkillDev tools
Lets your agent set up or fix a shared local Python package so multiple projects can import the same source.
Ready to connect★ 144
Looking for something else?
Dev tools is one category of skills on ahel. Browse all skills, or open another category above.