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 387 of 564
- 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★ 64
- View details
arSkillDev tools
Augmented reality (AR) reality tech. Passthrough overlays, hit-test/anchors, occlusion, lighting, camera permissions, and safety.
Ready to connect★ 64
- View details
aristotle-leanSkillDev tools
IMO Gold Medal level Lean4 theorem proving via Harmonic API
Ready to connect★ 64
- View details
ashare-code-changeSkillDev tools
Look up A-share ticker code change history. Use when the user asks about stock code changes, renaming/re-coding, code migrations, or BSE (Beijing Stock Exchange) upgrade code history.
Ready to connect★ 64
- View details
ashare-interactionsSkillDev tools
Query e-interactions. API: GET /api/v2/market/data/ashare-interactions. All requests must set FTSHARE_API_KEY.
Ready to connect★ 64
- View details
ashare-news-sentiment-factorsSkillDev tools
Query news sentiment factors for a specified A-share stock. Required: --trade-code; optional: --start-date, --end-date, --page, --page-size. Endpoint: GET /api/v3/market/data/ashare-news-sentiment-factors.
Ready to connect★ 64
- View details
ashare-rating-factor-snapshotSkillDev tools
Query the Top-K related companies for a specified A-share stock. Use when the user asks about stock correlation, related company rankings, or correlation scores.
Ready to connect★ 64
- 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★ 64
- View details
asi-polynomial-operadsSkillDev tools
ASI skill integrating polynomial functors, free monad/cofree comonad
Ready to connect★ 64
- View details
asi-skill-selectorSkillDev tools
Plurigrid ASI CLI for GF(3)-balanced skill selection and dispatch
Ready to connect★ 64
- View details
asi-transient-agendaSkillDev tools
Org-agenda-like transient views for ASI skill orchestration via nbb/squint + Emacs hydra
Ready to connect★ 64
- View details
assembly-indexSkillDev tools
Lee Cronin's Assembly Theory for molecular complexity measurement and
Ready to connect★ 64
- View details
- View details
atproto-ingestSkillDev tools
Layer 1 - Data Acquisition for Bluesky/AT Protocol social graph and content.
Ready to connect★ 64
- View details
- View details
auction-resultsSkillDev tools
Query call auction results. API: GET /api/v2/market/data/auction-results. All requests must set FTSHARE_API_KEY.
Ready to connect★ 64
- View details
- View details
- View details
- View details
- View details
- View details
babashka-cljSkillDev tools
Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.
Ready to connect★ 64
- View details
bandwidth-benchmarkSkillDev tools
Measure encoding/decoding throughput across Syrup implementations. This skill provides bandwidth benchmarks for comparing serialization performance.
Ready to connect★ 64
- View details
bdd-mathematical-verificationSkillDev tools
'BDD-Driven Mathematical Content Verification Skill
Ready to connect★ 64
- View details
beacon-repeaterSkillDev tools
MLX↔JAX bidirectional beacon-repeater with spectral gap random walk,
Ready to connect★ 64
- View details
- View details
benchmark <<<<<<< HEADSkillDev tools
Run and interpret engine-stack benchmarks (Steel, ember, shale)
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.