Skills.
Give your AI a better way to work.
A skill is a set of written instructions that teaches an AI how to do one job the way it should be done: review a pull request, plan a migration, write the release notes.
Install one here and it travels with your account into Claude, Claude Code, Cursor and every other client you sign in with.
Category: Dev tools
16,902 results · page 386 of 564
- View details
- View details
- View details
- View details
- View details
- View details
- View details
- View details
- View details
- View details
- View details
abductive-monte-carloSkillDev tools
Retroductive hypothesis sampling via MCMC: given observations, importance-sample explanations weighted by P(observation|hypothesis) using Gay.jl colored particles as hypothesis candidates.
Ready to connect★ 64
- View details
- View details
acset-superior-measurementSkillDev tools
Measure ACSets better than authors via surjectivity gadgets, Betti numbers,
Ready to connect★ 64
- View details
acset-taxonomySkillDev tools
Taxonomy of ACSet skills with morphisms to semantically similar categorical/relational skills
Ready to connect★ 64
- View details
acsets-dynamic-loaderSkillDev tools
Dynamically discover and load ACSet reference skills in dependency-optimal order using GitHub interactome analysis. Use when loading the acsets skill and needing its validation, generation, and coordination partners resolved automatically with GF(3) conservation guarantees.
Ready to connect★ 64
- View details
- View details
- View details
AgentDB Learning PluginsSkillDev tools
Create and train RL learning plugins with AgentDB's plugin system.
Ready to connect★ 64
- View details
AgentDB Performance OptimizationSkillDev tools
Optimize AgentDB with quantization, HNSW tuning, caching, batch ops, and pruning.
Ready to connect★ 64
- View details
algebraic-rewritingSkillDev tools
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
Ready to connect★ 64
- View details
aliceSkillDev tools
Primary Aptos testnet wallet for transaction origination. Use when initiating test transactions.
Ready to connect★ 64
- View details
- View details
alice-emacs-modsSkillDev tools
Tour of Alice's heavily-customized terminal Emacs — Causal transients, Worlding org, proof tooling, MLX chat, voice, and clipboard.
Ready to connect★ 64
- View details
alifeSkillDev tools
Comprehensive Artificial Life skill combining ALIFE2025 proceedings, classic texts (Axelrod, Epstein-Axtell), ALIEN simulation, Lenia, NCA, swarm intelligence, and evolutionary computation. 337 pages extracted, 80+ papers, 153 figures.
Ready to connect★ 64
- View details
- View details
anima-theorySkillDev tools
ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understanding agency at maximum entropy, compositional world modeling, or applying Scholze-Clausen co
Ready to connect★ 64
- View details
anoma-intentsSkillDev tools
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
Ready to connect★ 64
- View details
- View details
- View details
aptos-orderless-wevSkillDev tools
World Extractable Value via Aptos orderless transactions with Strong Parallelism Invariance (SPI) guarantees and GF(3) conservation.
Ready to connect★ 64
What is a skill?
A skill is plain text, usually a SKILL.md file and the scripts it refers to, written for an AI rather than for a person. It carries the steps, the house rules and the examples a good answer needs, so you stop pasting the same briefing into every new chat.
53,789 of the 54,221 skills listed here can be served through ahel today, and they come from public repositories. Each one has its own page with the instructions themselves on it, so you can read what a skill will tell your AI to do before you install it.
Install one and every AI you use gets it
Installing a skill adds it to your gateway and turns it on in the same step. Claude Code surfaces it as a slash command; any client can read the full instructions with the skill_read tool.
Nothing is copied into a project folder. The instructions are served from your account, so the same skill is there in every AI you connect, and turning it off removes it from all of them at once.