菜单
Use when building Machina, running cargo check, debugging Rust build failures, or deciding which repository build command to run.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 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.