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 166 of 750
- View details
- View details
latex-proof-formatterSkillDev tools
Format proofs and algorithms in publication-quality LaTeX
Ready to connect★ 2k
- View details
lca-analyzerSkillDev tools
Life Cycle Assessment skill for environmental impact evaluation and sustainability analysis
Ready to connect★ 2k
- View details
lean-proof-assistantSkillDev tools
Interface with Lean 4 proof assistant for formal theorem verification
Ready to connect★ 2k
- View details
leetcode-problem-fetcherSkillDev tools
Fetch and parse LeetCode problems with metadata, constraints, examples, hints, difficulty ratings, and related problems. Integrates with LeetCode API for comprehensive problem data retrieval.
Ready to connect★ 2k
- View details
lessonly-trainingSkillDev tools
Lessonly (Seismic Learning) training platform integration
Ready to connect★ 2k
- View details
lessons-learned-repositorySkillDev tools
Capture, categorize, and retrieve project lessons learned for organizational learning
Ready to connect★ 2k
- View details
Lexer GeneratorSkillDev tools
Expert skill for generating and hand-writing lexers using DFA-based, table-driven, and recursive approaches
Ready to connect★ 2k
- View details
license-compliance-checkerSkillDev tools
Automated license compliance verification for dependencies to ensure legal compliance during migration
Ready to connect★ 2k
- View details
ligand-exchange-protocol-managerSkillDev tools
Surface chemistry skill for managing ligand exchange reactions, bioconjugation protocols, and functional group quantification
Ready to connect★ 2k
- View details
linearizability-checkerSkillDev tools
Check linearizability of concurrent data structure implementations
Ready to connect★ 2k
- View details
link-building-outreachSkillDev tools
Link prospecting and outreach automation for SEO link building campaigns
Ready to connect★ 2k
- View details
linux-gpg-signingSkillDev tools
Sign Linux packages with GPG keys for secure distribution
Ready to connect★ 2k
- View details
litSkillDev tools
Web Components development with Lit including custom elements, reactive properties, shadow DOM, and interoperability.
Ready to connect★ 2k
- View details
LLVM BackendSkillDev tools
Expert skill for LLVM integration including IR generation, optimization passes, and native code emission
Ready to connect★ 2k
- View details
load-optimization-calculatorSkillDev tools
AI-powered load building and consolidation skill to maximize trailer utilization and reduce transportation costs
Ready to connect★ 2k
- View details
load-test-generatorSkillDev tools
Generate load test scripts for k6, Locust, and Gatling from OpenAPI specs
Ready to connect★ 2k
- View details
lobby-systemSkillDev tools
Lobby management skill for party systems and session handling.
Ready to connect★ 2k
- View details
lodSkillDev tools
Level of Detail skill for mesh simplification and HLOD generation.
Ready to connect★ 2k
- View details
logistics-kpi-trackerSkillDev tools
Comprehensive logistics performance measurement skill with KPI tracking, benchmarking, and improvement recommendations
Ready to connect★ 2k
- View details
loop-invariant-generatorSkillDev tools
Automatically generate and verify loop invariants for algorithm correctness proofs
Ready to connect★ 2k
- View details
lottie-animationsSkillDev tools
Lottie animation skill for integrating After Effects animations into iOS, Android, and cross-platform mobile apps with playback control, performance optimization, and interactive animation capabilities.
Ready to connect★ 2k
- View details
macos-codesign-workflowSkillDev tools
Execute macOS code signing with Developer ID and hardened runtime requirements
Ready to connect★ 2k
- View details
macos-entitlements-generatorSkillDev tools
Generate entitlements.plist with appropriate sandbox capabilities for macOS applications
Ready to connect★ 2k
- View details
macos-notarization-workflowSkillDev tools
Automate Apple notarization with xcrun notarytool for macOS application distribution
Ready to connect★ 2k
- View details
macos-sparkle-configSkillDev tools
Configure Sparkle framework for macOS auto-updates with appcast, delta updates, and code signing
Ready to connect★ 2k
- View details
macro-systemsSkillDev tools
Expert skill for designing and implementing macro systems including hygienic macros, procedural macros, and macro expansion. Supports pattern-based macros, quasi-quotation, and hygiene management.
Ready to connect★ 2k
- View details
madgraph-amplitude-calculatorSkillDev tools
MadGraph matrix element calculation skill for BSM physics, cross-section computation, and event generation
Ready to connect★ 2k
- View details
mageck-crispr-analyzerSkillDev tools
MAGeCK CRISPR screen analysis skill for gene essentiality scoring
Ready to connect★ 2k
- View details
market-research-aggregatorSkillDev tools
Market intelligence aggregation skill for synthesizing market data from multiple sources
Ready to connect★ 2k
Looking for something else?
Dev tools is one category of skills on Ahel. Browse all skills, or open another category above.