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
20,347 results · page 518 of 679
- View details
- View details
acset-superior-measurementSkillDev tools
Measure ACSets better than authors via surjectivity gadgets, Betti numbers,
Ready to connect
- View details
acset-taxonomySkillDev tools
Taxonomy of ACSet skills with morphisms to semantically similar categorical/relational skills
Ready to connect
- 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
- View details
- View details
- View details
AgentDB Learning PluginsSkillDev tools
Create and train RL learning plugins with AgentDB's plugin system.
Ready to connect
- View details
AgentDB Performance OptimizationSkillDev tools
Optimize AgentDB with quantization, HNSW tuning, caching, batch ops, and pruning.
Ready to connect
- 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
- View details
algorithmic-artSkillDev tools
Creating algorithmic art using p5.js with seeded randomness and interactive
Ready to connect
- View details
aliceSkillDev tools
Primary Aptos testnet wallet for transaction origination. Use when initiating test transactions.
Ready to connect
- 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
- 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
- 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
- View details
anoma-intentsSkillDev tools
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
Ready to connect
- View details
api-webhooksSkillDev tools
Configure inbound API webhooks end to end. Use when the user needs a webhook/callback URL, provides webhook auth or sample payloads, defines provider events, or routes webhook.received deliveries into cataloged automation events.
Ready to connect
- 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
- View details
- View details
- View details
aqua-voice-malleabilitySkillDev tools
Adversarial malleability analysis of Aqua Voice Electron app with IPC injection, WebSocket interception, and braided monoidal skill interleaving
Ready to connect
- View details
arSkillDev tools
Augmented reality (AR) reality tech. Passthrough overlays, hit-test/anchors, occlusion, lighting, camera permissions, and safety.
Ready to connect
- View details
aristotle-leanSkillDev tools
IMO Gold Medal level Lean4 theorem proving via Harmonic API
Ready to connect
- View details
- View details
asi-integratedSkillDev tools
Unified ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
Ready to connect
- View details
asi-polynomial-operadsSkillDev tools
ASI skill integrating polynomial functors, free monad/cofree comonad
Ready to connect
- View details
asi-skill-selectorSkillDev tools
Plurigrid ASI CLI for GF(3)-balanced skill selection and dispatch
Ready to connect
Popular skills lists
- Best Claude skills for what are
- Best Claude skills for awesome
- Best Claude skills for github
- Best Claude skills for how to use
- Best Claude skills for anthropic
- Best Claude skills for grill me
- Best Claude skills for how to create
- Best Claude skills for caveman
- Best Claude skills for humanizer
- Best Claude skills for remotion
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.
63,068 of the 63,139 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 workspace 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.