Dev tools skills.

20,075 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,075 results · page 46 of 670

  • property-based-testingSkillDev tools

    Lets your agent write and debug property-based tests that check whole input ranges instead of a few examples.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • semgrep-rule-variant-creatorSkillDev tools

    Lets your agent convert an existing Semgrep rule into versions for other programming languages, with tests.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • supply-chain-risk-auditorSkillDev tools

    Lets your agent audit a project's dependencies for known advisories, abandoned packages, and install-script risks.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • token-integration-analyzerSkillDev tools

    Lets your agent analyze crypto token contracts for standards compliance, unusual patterns, and owner privileges.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • trailmark-review-gateSkillDev tools

    Lets your agent review code changes for security issues like new entrypoints, removed validation, and privilege drift.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • trailmark-structuralSkillDev tools

    Lets your agent analyze a codebase structure and report hotspots, taint flows, blast radius, and attack surface.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • trailmark-summarySkillDev tools

    Lets your agent analyze a codebase and report its languages, entry points, and dependencies.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • writing-lean-proofsSkillDev tools

    Lets your agent write and review Lean 4 proofs and library code following Mathlib conventions.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • zeroize-auditSkillDev tools

    Lets your agent scan C/C++/Rust code for missing or compiler-removed erasure of secrets like keys and passwords.

    Ready to connect★ 7k

    github.com/trailofbits/skills7k stars

    View details
  • bearingsSkillDev tools

    Lets your agent create a status digest of your projects so you can pick up where you left off.

    Ready to connect★ 7k

    github.com/kunchenguid/firstmate5k stars

    View details
  • quietSkillDev tools

    Lets your agent stay silent and skip routine check-ins while you're present in the session.

    Ready to connect★ 7k

    github.com/kunchenguid/firstmate5k stars

    View details
  • updatefirstmateSkillDev tools

    Lets your agent update itself and its sub-agents to the latest version from the origin repository.

    Ready to connect★ 7k

    github.com/kunchenguid/firstmate5k stars

    View details
  • feast-architectureSkillDev tools

    Lets your agent answer questions about how the Feast feature store codebase works internally, from registry to data flow.

    Ready to connect★ 7k

    github.com/feast-dev/feast7k stars

    View details
  • feast-devSkillDev tools

    Guides your agent through contributing to the Feast codebase, from environment setup to testing and PR workflow.

    Ready to connect★ 7k

    github.com/feast-dev/feast7k stars

    View details
  • feast-testingSkillDev tools

    Helps your agent test and debug Feast feature stores, write unit tests, and inspect live store state.

    Ready to connect★ 7k

    github.com/feast-dev/feast7k stars

    View details
  • acquisition-channel-advisorSkillDev tools

    Walks your agent through judging whether a marketing channel deserves more budget, testing, or shutting down.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • ai-shaped-readiness-advisorSkillDev tools

    Lets your agent assess whether product work is AI-first or AI-shaped and suggest the next team capability to build.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • altitude-horizon-frameworkSkillDev tools

    Helps your agent analyze product management career growth using altitude and horizon thinking frameworks.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • battle-card-builderSkillDev tools

    Lets your agent research competitors and draft a sourced battle card with every claim labeled.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • business-health-diagnosticSkillDev tools

    Lets your agent analyze a SaaS business's growth, retention, efficiency, and capital health to spot urgent issues.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • company-researchSkillDev tools

    Lets your agent research a company and build a brief with executive quotes, product strategy, and org context.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • competitive-analysis-processSkillDev tools

    Lets your agent run a six-step competitive analysis, from market landscape to strategic recommendations.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • competitive-research-snapshotSkillDev tools

    Lets your agent research competitors and produce cited snapshots, comparison tables, and takeaways.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • context-engineering-advisorSkillDev tools

    Lets your agent review an AI workflow and spot when it's overloaded with context instead of using it well.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • customer-journey-mapping-workshopSkillDev tools

    Lets your agent run a customer journey mapping workshop, mapping stages, actions, emotions, pain points, and opportunities.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • derisk-measurement-advisorSkillDev tools

    Helps your agent identify what to measure, test, or track to reduce risk in a product or AI idea.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • director-readiness-advisorSkillDev tools

    Gives your agent coaching on moving from product manager to director, covering prep, interviews, and landing the role.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • discovery-interview-prepSkillDev tools

    Lets your agent plan customer discovery interviews with the right goal, audience, and method.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • discovery-processSkillDev tools

    Lets your agent run a structured product discovery process from problem framing to validated solution.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details
  • eol-checklistSkillDev tools

    Lets your agent build a phase-gated end-of-life checklist with a named owner for every item.

    Ready to connect★ 7k

    github.com/deanpeters/product-manager-skills7k stars

    View details

Looking for something else?

Dev tools is one category of skills on ahel. Browse all skills, or open another category above.

See how to connect your AI