AI & models skills.
11,362 AI & models skills, including triage, domain-modeling and code-review, 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: AI & models
11,362 results · page 190 of 379
- View details
cc-workspaceSkillAI & models
Sets up a new coding project workspace by creating config files, Git and GitHub repos, and notes.
Ready to connect★ 254
- View details
claude-code-lazy-packsSkillAI & models
Lets your agent install ready-made Claude Code setups that connect tools like GitHub, Obsidian, and databases.
Ready to connect★ 254
- View details
gemini-deep-researcherSkillAI & models
Uses the Gemini Claude skill approach to produce long-form research reports with cited sources.
Ready to connect★ 254
- View details
component-boundary-identifierSkillAI & models
Lets your agent analyze code to find module boundaries, circular dependencies, and coupling issues.
Ready to connect★ 252
- View details
counterexample-to-test-generatorSkillAI & models
Lets your agent turn model checker counterexamples into executable test cases that reproduce property violations.
Ready to connect★ 252
- View details
directed-test-input-generatorSkillAI & models
Lets your agent generate targeted test inputs to reach specific code paths and hard-to-reach behaviors in Python code.
Ready to connect★ 252
- View details
flaky-test-detectorSkillAI & models
Finds flaky, unreliable tests in Python and Java code by analyzing code and test results.
Ready to connect★ 252
- View details
imperative-to-coq-model-extractorSkillAI & models
Lets your agent turn imperative code like C or Python into mathematical models you can reason about in Coq.
Ready to connect★ 252
- View details
incremental-python-programmerSkillAI & models
Lets your agent add new features to an existing Python project and write tests until they pass.
Ready to connect★ 252
- View details
invariant-inferenceSkillAI & models
Lets your agent analyze code loops and prove they behave correctly by finding rules that always hold.
Ready to connect★ 252
- View details
model-guided-code-repairSkillAI & models
Lets your agent fix code that violates temporal logic properties using model-checking counterexamples.
Ready to connect★ 252
- View details
module-component-generatorSkillAI & models
Lets your agent generate complete code modules and components from interface contracts and specifications.
Ready to connect★ 252
- View details
program-to-model-extractorSkillAI & models
Converts functional code in Haskell, OCaml, or F# into formal Isabelle/HOL mathematical models.
Ready to connect★ 252
- View details
program-to-tlaplus-spec-generatorSkillAI & models
Lets your agent turn program code or system designs into TLA+ formal specifications.
Ready to connect★ 252
- View details
python-repo-quickstartSkillAI & models
Lets your agent analyze any Python repo as a python claude skill, explaining its purpose, structure, and setup steps.
Ready to connect★ 252
- View details
python-test-updaterSkillAI & models
A python claude skill that lets your agent update and fix Python tests after the code they test changes.
Ready to connect★ 252
- View details
rtl-property-inferenceSkillAI & models
Lets your agent read Verilog RTL code and automatically write SystemVerilog Assertions checking correctness properties.
Ready to connect★ 252
- View details
grace-setup-subagentsSkillAI & models
Lets your agent set up GRACE worker and reviewer subagents that understand GRACE artifacts and verification evidence.
Ready to connect★ 252
- View details
a-share-dcfSkillAI & models
Lets your agent value Chinese A-shares with a DCF model and share claude skill Excel reports.
Ready to connect★ 251
- View details
a-share-deep-learning-alphaSkillAI & models
Lets your agent build deep learning stock-picking models for China A-shares and share Claude skill style reports.
Ready to connect★ 251
- View details
a-share-ensemble-modelSkillAI & models
Lets your agent build A-share ensemble stock models, a share claude skill for multi-model fusion.
Ready to connect★ 251
- View details
a-share-explainable-aiSkillAI & models
Lets your agent run explainable AI analysis on A-share quantitative models using the share claude skill.
Ready to connect★ 251
- View details
a-share-graph-networkSkillAI & models
Lets your agent share claude skill workflows to build stock relationship graphs and GNN models for A-shares.
Ready to connect★ 251
- View details
a-share-lstm-forecastSkillAI & models
Lets your agent build LSTM models to forecast A-share stock prices, a share claude skill for time-series prediction.
Ready to connect★ 251
- View details
a-share-ml-stock-predictSkillAI & models
Lets your agent build machine-learning predictions of Chinese A-share stock prices and returns.
Ready to connect★ 251
- View details
a-share-model-riskSkillAI & models
Lets your agent analyze Chinese A-share quant models for overfitting and backtest risk.
Ready to connect★ 251
- View details
a-share-optimal-executionSkillAI & models
Lets your agent compute an optimal trade execution schedule for A-shares using the Almgren-Chriss model.
Ready to connect★ 251
- View details
a-share-option-pricingSkillAI & models
Lets your agent price A-share options with Black-Scholes and binomial models and share claude skill analysis reports.
Ready to connect★ 251
- View details
a-share-price-impact-modelSkillAI & models
Lets your agent estimate how large trades move China A-share stock prices using Kyle Lambda and impact models.
Ready to connect★ 251
- View details
codedrobe-themeSkillAI & models
Lets your agent create, apply, and restore custom color themes for supported AI desktop apps.
Ready to connect★ 250
Looking for something else?
AI & models is one category of skills on Ahel. Browse all skills, or open another category above.