Document checked-in .claude/ agent tooling in AGENTS.md - #54
Closed
chbaker0 wants to merge 1 commit into
Closed
Conversation
Point the boot procedure at the qemu-boot skill, list the skill, subagent, and Terse output style, and note the CI Miri job is now path-gated with a daily scheduled run. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019ZLaCj6iPnsgVGXk55da92
chbaker0
added a commit
that referenced
this pull request
Jul 27, 2026
Ports the non-overlapping corrections from the other three open drift PRs so a single PR can land and the rest can close: - #49: edition-2024/workspace-lints milestone in Project status; corrected buildutil description (mkimage-only consumer, pre-UEFI leftover) - #35: Miri path-gating + daily scheduled run in Project status and Verifying changes; qemu-boot SKILL.md vendored-OVMF correction - #54: Last-updated date to 2026-07-26 All claims re-verified against Cargo.toml, ci.yml, and make-image.sh at head. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Owner
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Filed by an AI coding agent (Claude Code).
Addresses #53.
Corrects agent-metadata drift in
AGENTS.mdonly — no code changes.AGENTS.mdclaims "Tooling / how to verify changes" as part of its remit but never documented the.claude/tooling that's checked into the repo, and its CI status paragraph had gone stale on the Miri job.What changed
.claude/)" section listing the tracked assets: theqemu-bootskill, thesource-grounded-explorersubagent, and the Terse output style +settings.json(plus a note thatsettings.local.jsonis gitignored).qemu-bootskill up front, so an agent verifying a boot invokes the skill instead of re-deriving thepkillwatchdog by hand; the prose stays the source of truth the skill defers to.expensive(Miri) job is now described as path-gated toshared/Miri inputs with a daily scheduled full run for nightly-drift, matchingci.yml(81ef154,72f6b69).Not included (flagged in #53, deliberately not implemented here)
/land-prskill.rust-analyzer-lspplugin (trial first — the multi-target/-Zbuild-stdsetup risks false-positive diagnostics).Generated by Claude Code