Dev tools skills.
20,965 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
20,965 results · page 555 of 699
- 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★ 58
- 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★ 58
- View details
verification-loopSkillDev tools
A comprehensive verification system for Kiro sessions.
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
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★ 58
- 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★ 58
- 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
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★ 58
- 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
- View details
goalxSkillDev tools
Use when a human wants durable autonomous progress in the current project: investigation, implementation, recovery, runtime control, saved-run continuation, or continuous improvement.
Ready to connect★ 59
- View details
gumroad-cli-releaseSkillDev tools
Release gumroad-cli after a PR lands by inspecting origin/main, creating the next Go-compatible date tag, pushing only that tag, and verifying GitHub release/Homebrew follow-through. Use for requests like "cut a gumroad-cli release", "push the release tag", or "release the merged gumroad-cli changes
Ready to connect★ 57
- View details
huge-skillSkillDev tools
This description is intentionally verbose to trip the skill budget check in tests. It rambles about everything the skill could conceivably do, in great detail, repeating itself the way real-world skill descriptions unfortunately tend to do when authors try to force triggering by stuffing keywords in
Ready to connect★ 59
- View details
kafka-consumer-lagSkillDev tools
Analyse Kafka consumer group lag using the Lenses MCP server. Diagnoses lag causes (throughput bottlenecks, rebalancing, partition skew, stalled consumers) and suggests remediation. Use when user says "check consumer lag", "why are consumers slow", "lag report" or asks about consumer group health or
Ready to connect★ 59
- View details
kafka-perf-reviewSkillDev tools
Review Kafka producer and consumer performance configurations in both the live cluster (via Lenses MCP) and the codebase. Flags un-tuned defaults, anti-patterns and missing best practices. Use when user says "review Kafka performance", "check producer configs", "tune Kafka settings" or asks about th
Ready to connect★ 59
- View details
kafka-python-clientSkillDev tools
Scaffold a production-ready Python Kafka producer and consumer using `confluent-kafka-python`, with Schema Registry, graceful shutdown, idempotent producer, tests and a complete project layout. Discovers the target topic, partition count and registered JSON Schema directly from the live cluster via
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.