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 601 of 750
- View details
social-sellingSkillDev tools
Build a LinkedIn social selling strategy — Sales Navigator, DM sequences, content-to-conversation, profile optimization, and SSI scoring. Use when the user wants to sell on LinkedIn, build a LinkedIn presence, use Sales Navigator, or generate pipeline from social. Triggers on: "LinkedIn selling", "s
Ready to connect★ 60
- View details
source-verificationSkillDev tools
source-verification — Verify articles, claims, and web sources by separating what is directly supported, what is partially supported, and what is unverified or misleading.
Ready to connect★ 60
- View details
stale-patch-reconciliationSkillDev tools
stale-patch-reconciliation — Reconcile a stale patch/diff against a current checkout.
Ready to connect★ 60
- View details
startup-communitiesSkillDev tools
Use startup communities as a GTM channel without spamming: community selection, trust-building, founder asks, launch posts, feedback loops, and referral capture. Use when entering founder communities, posting launches, finding early adopters, or turning community participation into pipeline.
Ready to connect★ 60
- View details
summarise-ecosystem-resultsSkillDev tools
Use when a user says "summarise ecosystem results", "summarize this ty ecosystem report", "what changed in this ecosystem run?", or asks to summarise or summarize ty ecosystem results for a Ruff PR from a PR number, PR URL, GitHub ecosystem-results comment, or detailed HTML report.
Ready to connect★ 56
- View details
- View details
theorem-provingSkillDev tools
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute
Ready to connect★ 60
- View details
tool-selection-stackSkillDev tools
Build the right GTM tool stack for any stage — solo founder ($100/mo), small team ($500/mo), growth team ($2K/mo), and enterprise ($10K+/mo). With cost breakdowns, tool comparisons, and stack architecture. Use when choosing GTM tools, building a tech stack, comparing platforms, or optimizing tool sp
Ready to connect★ 60
- View details
verification-loopSkillDev tools
A comprehensive verification system for Kiro sessions.
Ready to connect★ 60
- View details
verifier-guiSkillDev tools
Launch (or attach to) the Silo dev app and drive it for runtime verification through the dev automation RPC bridge — exec commands, eval DOM, capture screenshots, and create/activate/delete workspaces, terminals, editors. This is the repo's GUI evidence-capture handle for the `verify` skill. Use whe
Ready to connect★ 60
- View details
verify-featureSkillDev tools
Verify that a feature as built actually matches what was asked for — catching requirements that were quietly dropped, built differently than specified, or built without being asked for. Use this whenever you are partway through or wrapping up a feature and about to call it done, and whenever the use
Ready to connect★ 60
- View details
visual-recapSkillDev tools
Generate and maintain the system recap block in a PR description - a GitHub-rendered visual summary of which system primitives a change touches, how risky it is, and what changed. Prefer mermaid sequence diagrams for the change; pick another graph type when it explains the diff better. Use when plan
Ready to connect★ 56
- View details
webinar-strategySkillDev tools
Plans demand-gen webinars: topic selection, speaker sourcing, promotion cadence, run-of-show, and post-event follow-up sequences. Use when the user is planning a single webinar or a webinar series intended to generate pipeline. Triggers on: "webinar", "webinar strategy", "virtual event", "demand gen
Ready to connect★ 60
- View details
yc-ecosystemSkillDev tools
Navigate the public YC ecosystem for founder GTM: company research, batch mapping, outreach angles, application positioning, founder network use, and launch leverage. Use when researching YC companies, preparing YC applications, planning YC-style launch motion, or mapping startup ecosystem opportuni
Ready to connect★ 60
- View details
adding-a-field-typeSkillDev tools
Use when adding a new field type to Nextly (a new entry in the FieldType union, a new field factory, or a new schema-builder picker type), or when a field type renders or stores incorrectly across the config, catalog, column-mapping, or admin layers.
Ready to connect★ 59
- View details
audit-captionsSkillDev tools
Audit all table and figure captions for language, notation, and formatting consistency
Ready to connect★ 59
- View details
audit-mathSkillDev tools
Adversarial audit of mathematical proofs, derivations, and formal environments
Ready to connect★ 59
- View details
audit-sectionSkillDev tools
Deep audit of a single section -- style, factual accuracy, citations, logical flow
Ready to connect★ 59
- View details
batch-grill-meSkillDev tools
Gives your agent the batch grill me skill, a set of engineering-focused prompts from a personal agents directory.
★ 59
- View details
book-flow-analystSkillDev tools
Use when reviewing the structure, ordering, coherence, and narrative flow of the book as a whole or across chapters. Checks chapter sequencing against the ID scheme, cross-references and forward hooks between chapters, README/index link integrity, exercise-to-chapter pairing, duplicate or contradict
Ready to connect★ 59
- View details
check-consistencySkillDev tools
Fast cross-section consistency scan for numbers, terminology, and references
Ready to connect★ 59
- View details
compare-versionsSkillDev tools
Show diff between current and proposed text with change rationale
Ready to connect★ 59
- View details
derived-checksSkillDev tools
Use when writing or reviewing code that checks, mirrors, summarises or validates what other code produces: a gate, probe, test, lint rule or derived view. Covers choosing controls, what a measurement proves, identifying by structure rather than by name, and whether a guard should fail open or closed
Ready to connect★ 59
- View details
edit-sectionSkillDev tools
Revise an existing section for style, clarity, and correctness
Ready to connect★ 59
- View details
english-grammar-reviewerSkillDev tools
Use when proofreading, copy-editing, or verifying English in any docs/**/*.mdx chapter or code comment in this repo. Catches grammar, punctuation, spelling, syntax, article/tense/agreement errors, wordiness, tone drift, and style inconsistencies, and rewrites text in the book's confident second-pers
Ready to connect★ 59
- View details
- View details
factor-constructionSkillDev tools
Look-ahead bias prevention and portfolio formation rules for cross-sectional asset pricing factors. Covers signal timing, portfolio sorts, return alignment, and rebalancing conventions. Auto-apply when constructing factors, sorting stocks into portfolios, or computing long-short returns.
Ready to connect★ 59
- View details
full-paper-auditSkillDev tools
Audit the entire paper -- cross-section consistency, all citations, all style issues
Ready to connect★ 59
- View details
gapSkillDev tools
Measure the loaded-versus-fired gap - what fraction of each category of loaded context is ever actually invoked, and which MCP tools return mostly noise. Use when asked how much of the context is earning its place, or which categories are worst.
Ready to connect★ 59
- View details
go-exercise-reviewerSkillDev tools
Use when reviewing, writing, or debugging Go code under exercises/part2/ (and matching embedded code in docs/part2/**/*.mdx). Thinks hard about correctness, idiomatic Go, error handling, resource cleanup, concurrency, and — crucially — what the tests would catch: edge cases, races, leaks, timeouts,
Ready to connect★ 59
Looking for something else?
Dev tools is one category of skills on ahel. Browse all skills, or open another category above.