Skip to content

skills: add Zephyr agent skills#1

Open
zevorn wants to merge 4 commits into
processmission:mainfrom
zevorn:agent/add-zephyr-skills
Open

skills: add Zephyr agent skills#1
zevorn wants to merge 4 commits into
processmission:mainfrom
zevorn:agent/add-zephyr-skills

Conversation

@zevorn

@zevorn zevorn commented Jul 15, 2026

Copy link
Copy Markdown

Summary

  • Add four self-contained Zephyr skills for debugging, exploration, patch
    review, and safety evidence work.
  • Keep agent plans, command records, and decisive logs under
    .zephyr-skills/<agent-task>/, separate from Zephyr build outputs.
  • Extend zephyr-debug with Zephyr logging, QEMU GDB stubs, OpenOCD, J-Link,
    scripted GDB sessions, and optional Tmux or Zellij orchestration.
  • Support category and individual installation without assuming a specific
    agent client.

Why

The complete skill set has been tested with GPT-5.5 and GPT-5.6. Based on the
performance of these newer models, common debugging and build/test workflows
are already internalized and perform well without dedicated skill
instructions. We therefore do not duplicate those generic capabilities as
standalone skills, because overly prescriptive instructions can unnecessarily
constrain model behavior.

The remaining skills focus on Zephyr-specific context, decision boundaries,
auditability, and specialized workflows that still benefit from explicit
guidance.

Validation

  • Validated all four skill directories with quick_validate.py.
  • Installed each skill independently with npx skills without specifying an
    agent.
  • Confirmed each installation contains only the selected skill and its own
    bundled resources.
  • Confirmed the removed zephyr-build-test skill is no longer discoverable.
  • Ran git diff --check origin/main..HEAD.

@zevorn
zevorn force-pushed the agent/add-zephyr-skills branch 2 times, most recently from 2706fcb to 4e30f74 Compare July 15, 2026 02:39
@zevorn
zevorn marked this pull request as ready for review July 15, 2026 02:43
@zevorn

zevorn commented Jul 15, 2026

Copy link
Copy Markdown
Author

@codex review this PR thoroughy

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Keep it up!

Reviewed commit: 4e30f74046

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@zevorn
zevorn force-pushed the agent/add-zephyr-skills branch from 4e30f74 to 1793946 Compare July 15, 2026 02:55
@zevorn

zevorn commented Jul 15, 2026

Copy link
Copy Markdown
Author

@codex review again

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 17939468e2

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread skills/zephyr/zephyr-debug/SKILL.md Outdated
@zevorn
zevorn force-pushed the agent/add-zephyr-skills branch from 1793946 to 96f54c1 Compare July 15, 2026 03:07
@zevorn

zevorn commented Jul 15, 2026

Copy link
Copy Markdown
Author

@codex review again

zevorn added 4 commits July 15, 2026 11:11
Helps agents reproduce and isolate Zephyr build, boot, board, and
runtime failures.

Signed-off-by: Chao Liu <[email protected]>
Helps agents investigate Zephyr source, history, and constraints before
making changes.

Signed-off-by: Chao Liu <[email protected]>
Guides agents in reviewing Zephyr patches for correctness, coverage,
ownership, and merge readiness.

Signed-off-by: Chao Liu <[email protected]>
Guides agents in planning and reviewing Zephyr safety evidence,
traceability, and certification gaps.

Signed-off-by: Chao Liu <[email protected]>
@zevorn
zevorn force-pushed the agent/add-zephyr-skills branch from 96f54c1 to 2f710ab Compare July 15, 2026 03:11
@kailiu42

Copy link
Copy Markdown
Contributor

Is it ready now?

@zevorn

zevorn commented Jul 16, 2026

Copy link
Copy Markdown
Author

Is it ready now?

Yes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants