From adacore
Guides users through Alire package management for Ada projects: install, init, search, add dependencies, pin, build, run, and test with AUnit or GNATtest.
How this skill is triggered — by the user, by Claude, or both
Slash command
/adacore:alireThe summary Claude sees in its skill listing — used to decide when to auto-load this skill
Check whether `alr` is available:
references/alire-build.mdreferences/alire-exec.mdreferences/alire-get.mdreferences/alire-init.mdreferences/alire-install.mdreferences/alire-pin.mdreferences/alire-printenv.mdreferences/alire-run.mdreferences/alire-search.mdreferences/alire-toolchain.mdreferences/alire-with.mdreferences/installation.mdreferences/raspberry-pi-pico.mdreferences/testing.mdreferences/zephyr.mdCheck whether alr is available:
alr --version 2>/dev/null || ~/.local/bin/alr --version 2>/dev/null
If Alire is NOT installed, ask the user if they would like you to install Alire for them.
If the user says "no", direct the user to visit "https://alire.ada.dev/" and stop.
If the user says "yes", follow the instructions in installing-alire to install Alire.
Note: alr has comprehensive built-in help. At any point, alr --help lists all available subcommands and alr --help` gives full usage details. Consult these whenever the reference files don't fully address the situation.
| Alire Command | Description | Reference |
|---|---|---|
| — | Install Alire | installation.md |
alr search | Search for crates in the index | alire-search.md |
alr toolchain | Inspect or pin compiler toolchains (optional — alr init/alr build auto-install default toolchain on first use) | alire-toolchain.md |
alr get | Fetch a crate from the index | alire-get.md |
alr with | Add a dependency | alire-with.md |
alr pin | Pin a dependency to a local path or Git repo | alire-pin.md |
alr install | Install a binary-tool crate to a shared prefix | alire-install.md |
alr build | Build the project | alire-build.md |
alr run | Run the project | alire-run.md |
alr exec | Execute a command in the project environment | alire-exec.md |
alr printenv | Print environment variables | alire-printenv.md |
| — | Set up tests for a crate (AUnit, GNATtest) | testing.md |
| — | Cross-compile for Raspberry Pi Pico | raspberry-pi-pico.md |
| — | Cross-compile for Zephyr (Arm / RISC-V) | zephyr.md |
Commands Not in the Reference Chart
If the user requests an alr workflow not covered above:
alr --help to confirm the subcommand existsalr <subcommand> --help to read its full usagenpx claudepluginhub adacore/skills --plugin adacoreProvides behavioral guidelines to reduce common LLM coding mistakes, focusing on simplicity, surgical changes, assumption surfacing, and verifiable success criteria.
Searches, retrieves, and installs Agent Skills from prompts.chat registry using MCP tools like search_skills and get_skill. Activates for finding skills, browsing catalogs, or extending Claude.
Creates, edits, and optimizes skills for Claude Code, including drafting, evaluating with test prompts, iterating on performance, and improving skill descriptions for better triggering accuracy.