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
17,235 results · page 80 of 575
- View details
mps-aspect-generatorSkillDev tools
Use when defining or modifying MPS generators — author a generator module, add or edit root/reduction/weaving/pattern mapping rules, attach template macros ($COPY_SRC, $LOOP, $IF, $PROPERTY, $REF, $SWITCH, $MAP_SRC, $WEAVE, $INSERT, $LABEL, $TRACE, $VAR), wire mapping labels, build template switches
Ready to connect★ 2k
- View details
mps-aspect-intentionsSkillDev tools
Use when defining or editing MPS intentions (the Alt+Enter context-action aspect) — adding `IntentionDeclaration` roots, parameterized or surround-with variants, description/isApplicable/execute blocks, child-filter functions, factory-initialized AST splicing, or debugging why an intention is not of
Ready to connect★ 2k
- View details
mps-aspect-structure-conceptsSkillDev tools
Define concepts, interface concepts, enumerations, and constrained data types in an MPS language's `structure` aspect. Covers smart-reference detection, alias rules, cardinality, INamedConcept usage, bulk creation, and the full `mps_mcp_alter_structure` / `mps_mcp_query_structure` reference. Use whe
Ready to connect★ 2k
- View details
mps-baselanguageSkillDev tools
Author and edit MPS `jetbrains.mps.baseLanguage` (Java) nodes — choose between the Java parser and JSON AST blueprints, map Java syntax to baseLanguage concepts/roles, harvest persistent member references, and validate. Use when writing class/method bodies, fields, expressions, statements, or any Ja
Ready to connect★ 2k
- View details
mps-ide-pluginSkillDev tools
Use when authoring or modifying MPS IDE plugins — code that integrates with the MPS / IntelliJ host IDE shell. Covers ActionDeclaration, ActionGroupDeclaration, ToolDeclaration/TabbedToolDeclaration (dockable tool windows), KeymapChangesDeclaration (shortcuts), PreferencesComponentDeclaration (setti
Ready to connect★ 2k
- View details
mps-language-analysisSkillDev tools
Analyze an MPS language by name — discover concepts, properties, references, children, aspects (editor/constraints/behavior), and metadata. Use when investigating an unfamiliar language, exploring concept structure, or finding sample nodes to use as templates for JSON blueprints.
Ready to connect★ 2k
- View details
mps-language-aspects-overviewSkillDev tools
Entry point for authoring or modifying an MPS language — index of all aspects (structure, editor, constraints, behavior, typesystem, intentions, actions, generator, textgen, accessories, generation plans), the recommended authoring order, cross-aspect call patterns, dependency/rebuild rules, and val
Ready to connect★ 2k
- View details
mps-run-configurationsSkillDev tools
Create and execute IDE run configurations for MPS root nodes via MPS MCP — Java Application for `IMainClass` / `ClassConcept` with `main`, JUnit Tests for `ITestCase`. Use when launching DSL `main`-like roots, plain BaseLanguage `ClassConcept` mains, or MPS test cases from a node; reusing or replaci
Ready to connect★ 2k
- View details
dafny-verificationSkillDev tools
Stub. Elicit software correctness obligations, maintain a recoverable correctness workpiece, and author or review Dafny specifications with an honest account of what was stated, assumed, discharged, skipped, or trusted. Use for a correctness interview or a Dafny specification or proof review.
Ready to connect★ 2k
- View details
elicitationSkillDev tools
Acquire and improve an epistemically responsible source-side account through conversation and consulted material. Use before substantive interviewing, source consultation, consequential correction or conflict resolution, and when recording workpiece evidence.
Ready to connect★ 2k
- View details
handling-rust-errorsSkillDev tools
HASH error handling patterns using error-stack crate. Use when working with Result types, Report types, defining custom errors, propagating errors with change_context, adding context with attach, implementing Error trait, or documenting error conditions in Rust code.
Ready to connect★ 2k
- View details
managing-cargo-dependenciesSkillDev tools
Cargo.toml dependency management patterns for HASH workspace. Use when adding, updating, or removing dependencies, organizing Cargo.toml sections, configuring version pinning and default features, or managing public dependencies.
Ready to connect★ 2k
- View details
meaningful-identifiersSkillDev tools
Naming guidance for callback parameters and local variables in TypeScript. Use when writing or refactoring loops, array callbacks (map/filter/find/reduce), or local accumulators.
Ready to connect★ 2k
- View details
publishing-packagesSkillDev tools
Conventions for publishing npm packages from this repository, including when a PR needs a changeset and how to write one. Use when adding or editing a changeset, versioning or releasing a package, or deciding whether a change to a publishable library needs a changelog entry.
Ready to connect★ 2k
- View details
rust-coding-styleSkillDev tools
HASH Rust coding style. Use when writing or reviewing Rust code, choosing types, imports, function arguments, or naming.
Ready to connect★ 2k
- View details
rust-testing-strategySkillDev tools
HASH Rust testing strategy. Use when writing Rust unit, integration, or snapshot tests, or choosing assertion and test-organization patterns.
Ready to connect★ 2k
- View details
testing-hashqlSkillDev tools
HashQL testing strategies including compiletest (UI tests), unit tests, and snapshot tests. Use when writing tests for HashQL code, using //~ annotations, running --bless, debugging test failures, or choosing the right testing approach.
Ready to connect★ 2k
- View details
pr-gate-checkSkillDev tools
Check gate status for a Bitbucket PR by resolving the PR head commit, finding the gate merge commit, inspecting builds on that merge commit, and summarizing root-cause failures with actionable next steps.
Ready to connect★ 2k
- View details
rota-bench-regression-analysisSkillDev tools
Analyze recent GraalPy benchmark regressions on `master` as part of the weekly rota. Use when asked to analyze benchmarks for rota.
Ready to connect★ 2k
- View details
third-party-package-patchesSkillDev tools
Create or update GraalPy third-party package and Rust crate compatibility patches under graalpython/lib-graalpython/patches, including PyPI source preparation, Cargo crate autopatching, rebasing existing patches, metadata.toml updates, license checks, version-range validation, and verify_patches.py
Ready to connect★ 2k
- View details
windowsSkillDev tools
Windows-specific command guidance. Use when working on Windows and a required CLI tool, especially gdev-cli, is not available directly in PowerShell or cmd.
Ready to connect★ 2k
- View details
ai-devkit-setupSkillDev tools
AI DevKit · Check local AI DevKit readiness and run setup only when status shows onboarding or harness integration gaps.
Ready to connect★ 2k
- View details
dev-prSkillDev tools
AI DevKit · Publish a ready feature branch for review. Use when the user wants to sync, push, and open or update a code review request on GitHub, GitLab, or another Git host.
Ready to connect★ 2k
- View details
dev-requirementsSkillDev tools
AI DevKit · Requirements phase guidance for starting features and reviewing requirements. Use when the user wants to capture a new requirement, clarify product scope, initialize feature docs, review requirements, or run dev-lifecycle phases 1-2.
Ready to connect★ 2k
- View details
dev-testingSkillDev tools
AI DevKit · Testing phase guidance for adding and validating feature test coverage. Use when the user wants to write tests, update testing docs, run coverage, close coverage gaps, or run dev-lifecycle phase 8.
Ready to connect★ 2k
- View details
simplify-implementationSkillDev tools
AI DevKit · Analyze and simplify existing implementations to reduce complexity, improve maintainability, and enhance scalability. Use when users ask to simplify code, reduce complexity, refactor for readability, clean up implementations, improve maintainability, reduce technical debt, or make code e
Ready to connect★ 2k
- View details
ingest_triageSkillDev tools
Classify and resolve conflicts detected during bundle ingest (structural duplicates, definitional contradictions, near-duplicate clusters, re-ingest changes, evictions).
Ready to connect★ 2k
- View details
zhengxi-viewsSkillDev tools
Zheng Xi Views Library — a traceable research skill built on the complete corpus of public statements (2012–2026) by E Fund fund manager Zheng Xi, plus a distilled Zheng Xi investment methodology backed by his own quotes from the corpus. Capabilities: (1) Traceable Q&A — how he views AI computing po
Ready to connect★ 2k
- View details
Scientific Visualization ToolSkillDev tools
A complete visualization tool from data profiling to publication-ready figures. It first profiles your data (column types, sample size, distributions, outliers, grouping structure, correlations), then recommends chart types based on your argumentation goals, proactively intercepts classic scientific
Ready to connect★ 2k
- View details
huashu-article-editSkillDev tools
Standardized article editing workflow ensuring a clear scope of changes, trackable progress, and recorded revisions. Use this skill when the user says "编辑文章" (edit article), "修改文章" (modify article), "调整内容" (adjust content), or "改一下这篇" (change this one).
Ready to connect★ 2k
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.
54,764 of the 55,196 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.