Menú
Use when building Machina, running cargo check, debugging Rust build failures, or deciding which repository build command to run.
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional SOC
Use when finding Machina definitions, call sites, crate boundaries, device models, target code, or QEMU-inspired subsystem mappings.
Use when reviewing Machina pull requests, local diffs, commits, or mailing-list patch series that may inform Machina changes.
Use when summarizing or preparing to debug Machina GitHub issues, bug reports, feature requests, or reproduction notes.
Use when comparing Machina behavior with QEMU, using difftest/oracle tooling, or debugging CPU, interrupt, memory, or device-model parity.
Use when choosing, adding, listing, or running Machina tests, including targeted Rust tests and workspace validation.
| name | machina-build |
| description | Use when building Machina, running cargo check, debugging Rust build failures, or deciding which repository build command to run. |
| license | MIT |
Use the repository Makefile before inventing ad hoc commands.
| Task | Command |
|---|---|
| Debug build | make build |
| Release build | make release |
| Fast type check | cargo check --workspace |
| Format check | make fmt-check |
| Lint | make clippy |
| Docs | make docs |
git status -sb.cargo check --workspace while iterating on Rust changes.make build when generated binaries or integration behavior matter.make fmt-check before committing any Rust change.make clippy before PR submission when Rust files changed.Cargo.lock changes locally, verify whether it is tracked in the target
branch before committing it.target/ is ignored.