input-output-hk

Manage and maintain i18n messaging or copy for Daedalus multi-language support.

Add, update, validate and verify theme files using built-in package.json commands and utilities.

Create Cucumber BDD end-to-end tests for new features, enhancements, or updates. Use this when asked to write e2e tests, acceptance tests, feature files, step definitions, or Cucumber scenarios for Daedalus.

Create or update Storybook stories for Daedalus React components. Use this when asked to write stories, visual tests, storybook entries, or component demos for new or existing features.

Encode and decode bech32 strings using the local bech32 CLI.

Diagnose cardano-cli: version, era-prefixed vs legacy syntax, network flags. Produces compatibility report.

Plutus script guidance: datums, redeemers, collateral, reference scripts. Templates only—use operator to execute.

Staking guidance: registration, delegation, rewards. Provides templates (no execution). Use operator skill to execute.

Writes and reviews GitHub Actions workflows with security hardening. Use when creating, modifying, or reviewing .github/workflows/*.yml or .github/actions/*/action.yml files. Covers shell injection prevention, trust gating for fork PRs, action pinning, and secrets hygiene.

Generate a PR title and description for cardano-parts releases by analyzing commit diffs on the current branch. Use when the user asks to write, draft, or generate a PR description, release notes, or changelog for this repo.

Walks through each changed file one at a time, showing the diff and asking the user whether to apply it. Requires "upstream" or "downstream" argument. Use after sync-status to begin applying changes between cardano-parts templates and downstream repos.

Prints a quick reference for the sync skill suite (sync-status, sync-execute). Use when the user asks how to use the sync skills or needs a reminder of the workflow.

Shows a summary table of divergence between cardano-parts templates and configured downstream repos, with per-file one-liner descriptions. Use to get a quick overview of sync state before or during a sync cycle.

Reduce a large Agda file to a minimal reproducer for an Agda compiler bug (e.g. `__IMPOSSIBLE__` or any other specific internal error string). Runs an iterative edit → test → commit/revert loop, preserving the invariant that the file still emits the exact target error string at every committed step. Use when the user asks to "minimize this bug", "reduce the reproducer", "make a smaller example of this Agda crash", or mentions a specific Agda internal-error location (file:line) they want a smaller trigger for.

Profile Agda typechecking performance from a cold cache. Supports two modes — project-wide (via `agda --profile=modules`, reporting per-module times and ms-per-line) and single-module (via `agda --profile=definitions`, reporting per-definition times). Can drill from the project-wide report into specific slow modules, and can investigate individual slow definitions by recursively replacing subterms with holes to locate the true hotspot. Use this whenever the user wants to investigate why Agda typechecking is slow, find hot modules or definitions, benchmark typechecking, or hunt down a specific slow hotspot — even if they don't say "profile". Triggers on phrases like "why is Agda slow", "typechecking performance", "profile the build", "which module is slowest", "find the bottleneck", "why does this definition take so long".

Build, balance, and sign Cardano transactions in Haskell using sc-tools (`Convex.BuildTx` for constructing unbalanced transactions; `Convex.CoinSelection` for coin selection/balancing/signing; `Convex.Query`/Blockfrost/node/mockchain backends for fetching inputs). Use when writing or debugging off-chain code that adds inputs/outputs/mints/withdrawals/collateral/reference scripts, sets validity intervals and required signers, or fixes balancing/script execution/submission failures.

Generate a PR title and description by analyzing commit diffs on the current branch. Outputs a pr-description.md file for review. Use when the user asks to write, draft, or generate a PR description, PR summary, or PR title.