input-output-hk
- 39 skills
- 0 followers
- 5 hours ago last updated
- ▌ Speckit Analyze · input-output-hkPerform a non-destructive cross-artifact consistency and quality analysis across spec.md, plan.md, and tasks.md after task generation.
- ▌ Speckit Specify · input-output-hkCreate or update the feature specification from a natural language feature description.
- ▌
- ▌ Agent Review · input-output-hkAct as an agent peer reviewer on pi.dev using the native review_list, review_claim, review_complete, and review_enrich tools. Use when picking up a pull request labeled ai-review and requested from your GitHub login. Drives the full loop: list open requests, claim one, review the diff at the pinned commit against the served instructions, then complete (as anchor) or enrich (as a second reviewer). A review never merges; this package's separate pr_expedite and pr_approve_dep_upgrade tools own merge decisions, defaulting to propose and acting only when a caller explicitly passes autonomy auto.
- ▌ Hardening Github Actions · input-output-hkWrites 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.
- ▌ Dependency Vulnerability Remediation · input-output-hkRemediate Dependabot / npm advisory vulnerabilities in this Yarn-3 monorepo with a low-risk, prefer-relock-over-resolution strategy, then produce a per-dependency security audit (vulnerability status, license, prod/dev + consumer reachability, blast radius, and supply-chain provenance/publisher-continuity). Use when asked to patch security alerts, bump vulnerable dependencies, assess dependency blast radius, or do a supply-chain review.
- ▌ Transaction · input-output-hk bundleBuild, 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.
- ▌ Agda Find Reproducer · input-output-hkReduce 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.
- ▌ Agda Typecheck Profile · input-output-hk bundleProfile 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".
- ▌ Sync Help · input-output-hkPrints 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.
- ▌ Sync Status · input-output-hkShows 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.
- ▌ Sync Execute · input-output-hkWalks 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.
- ▌ Pr Description · input-output-hk bundleGenerate 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.
- ▌ Speckit Plan · input-output-hkExecute the implementation planning workflow using the plan template to generate design artifacts.
- ▌ Speckit Tasks · input-output-hkGenerate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.
- ▌ Speckit Clarify · input-output-hkIdentify underspecified areas in the current feature spec by asking up to 5 highly targeted clarification questions and encoding answers back into the spec.
- ▌ Speckit Checklist · input-output-hkGenerate a custom checklist for the current feature based on user requirements.
- ▌ Speckit Taskstoissues · input-output-hkConvert existing tasks into actionable, dependency-ordered GitHub issues for the feature based on available design artifacts.
- ▌ Speckit Agent Context Update · input-output-hkRefresh the managed Spec Kit section in the coding agent context file
- ▌ Evidence Rules · input-output-hkEvidence and citation rules for all agents. Requires factual claims to be cited, unknowns to be explicit, and direct quotes when wording matters.
- ▌ I18N Messaging · input-output-hkManage and maintain i18n messaging or copy for Daedalus multi-language support.
- ▌ Grill With Docs · input-output-hkGrilling session that challenges your plan against the existing domain model, sharpens terminology, and updates documentation (.agent/plans/{feature}) inline as decisions crystallize. Use when user wants to stress-test a plan against their project's documented decisions.
- ▌ Theme Management · input-output-hkAdd, update, validate and verify theme files using built-in package.json commands and utilities.
- ▌ E2e Test Creation · input-output-hkCreate 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.
- ▌ Cardano CLI Doctor · input-output-hk bundleDiagnose cardano-cli: version, era-prefixed vs legacy syntax, network flags. Produces compatibility report.
- ▌ Storybook Creation · input-output-hkCreate 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.
- ▌ Cardano CLI Staking · input-output-hk bundleStaking guidance: registration, delegation, rewards. Provides templates (no execution). Use operator skill to execute.
- ▌ Cardano CLI Wallets · input-output-hk bundleWallet guidance: key generation, address building, UTxO queries. Provides templates and explanations (no execution).
- ▌ Git Commit Formatter · input-output-hkFormats git commit messages according to Conventional Commits specification. Use this when the user asks to commit changes or write a commit message.
- ▌ Cbor Encoding Decoding · input-output-hkGuidance for encoding/decoding CBOR and interpreting cbor-hex/diag using cbor-diag.
- ▌ Cardano Protocol Params · input-output-hk bundleProtocol parameters: fetch pparams, understand fees, min-UTxO, execution budgets. Read-only diagnostics.
- ▌ Bech32 Encoding Decoding · input-output-hkEncode and decode bech32 strings using the local bech32 CLI.
- ▌ Cardano CLI Transactions · input-output-hk bundleTransaction guidance: build, sign, submit patterns. Provides templates (no execution). Use operator skill to execute.
- ▌ Cardano CLI Plutus Scripts · input-output-hk bundlePlutus script guidance: datums, redeemers, collateral, reference scripts. Templates only—use operator to execute.
- ▌ Cardano CLI Staking Operator · input-output-hkExecute staking operations: registration, delegation, rewards withdrawal. Manual invoke only.
- ▌ Cardano CLI Wallets Operator · input-output-hkExecute wallet operations: key generation, address building. Manual invoke only for safety.
- ▌ Cardano CLI Transactions Operator · input-output-hkExecute transaction builds and submits. Manual invoke only—requires explicit confirmation before submit.
- ▌ Thermo Nuclear Code Quality Review · input-output-hkThermo-nuclear code quality audit (maintainability, structure, 1k-line rule, spaghetti, code-judo). Invoked via Task after a parent gathers diff and file contents. Run an extremely strict maintainability review for abstraction quality, giant files, and spaghetti-condition growth. Use for a thermo-nuclear code quality review, thermonuclear review, deep code quality audit, or especially harsh maintainability review.
- ▌ Cardano CLI Plutus Scripts Operator · input-output-hkExecute Plutus script transactions: script spends, datum/redeemer submission. Manual invoke only.