Input Output publishes official AI agent skills for its tools, services, and developer workflows.
Browse 30 official AI agent skills across 6 Input Output repositories, with install commands and source links.
Install
Install a full repository package, then let your agent activate the right skill for the task.
Fetch this Markdown manifest as plain text: https://skillscout.sh/official/input-output-hk/input-output-hk_skills_skillscout.md. If your browser cannot display the Markdown directly, use curl or another text fetcher. Recommend the relevant Input Output skills package or packages for my goal, explain which individual skills matter, and wait for my approval. After I approve, install with the npx command. If no project is open, install it as an agent skill I can use later.
Skills packages
Includes 20 official skills: thermo-nuclear-code-quality-review, bech32-encoding-decoding, cardano-cli-doctor, cardano-cli-plutus-scripts, cardano-cli-plutus-scripts-operator, cardano-cli-staking.
npx skills add input-output-hk/daedalus -y
Includes 5 official skills: gha, pr-description, sync-execute, sync-help, sync-status.
npx skills add input-output-hk/cardano-parts -y
Includes 2 official skills: agda-find-reproducer, agda-typecheck-profile.
npx skills add input-output-hk/agda-claude-skills -y
Includes 1 official skill: gha.
npx skills add input-output-hk/capkgs -y
Includes 1 official skill: pr-description.
npx skills add input-output-hk/cardano-playground -y
Includes 1 official skill: transaction.
npx skills add input-output-hk/sc-tools -y
Individual skills
30 skills
Repository documentation
Includes 2 official skills: agda-find-reproducer, agda-typecheck-profile.
Install the full package:
npx skills add input-output-hk/agda-claude-skills -yInstall a specific skill:
npx skills add input-output-hk/agda-claude-skills@agda-find-reproducer -yUse the package when you want your agent to choose the relevant skill from this official Input Output repository.
View input-output-hk/agda-claude-skills on GitHub