Stream: git-wasmtime

Topic: wasmtime / PR #13562 Add auditor skills to the codebase

Wasmtime GitHub notifications bot (Jun 04 2026 at 22:14):

alexcrichton opened PR #13562 from alexcrichton:copilot-audit to bytecodealliance:main:

This commit adds a few "skills" which LLM tools like copilot and claude recognize. They're added under .agents/skills with a symlink for .claude/skills pointing there too. The goal of these skills is to codify the guidelines used for LLM-based audits/reviews/etc of Wasmtime. This is intended to make prompting as easy as "go find a bug here" wih no further context needed while still benefitting from these guidelines. I've personally been using these for some time now and have had pretty good results.

<!--
Please make sure you include the following information:

• If this work has been discussed elsewhere, please include a link to that
  conversation. If it was discussed in an issue, just mention "issue #...".

• Explain why this change is needed. If the details are in an issue already,
  this can be brief.

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

Wasmtime GitHub notifications bot (Jun 04 2026 at 22:14):

alexcrichton requested fitzgen for a review on PR #13562.

Wasmtime GitHub notifications bot (Jun 04 2026 at 22:14):

alexcrichton requested wasmtime-default-reviewers for a review on PR #13562.

Wasmtime GitHub notifications bot (Jun 05 2026 at 14:10):

:thumbs_up: fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Jun 05 2026 at 14:10):

:speech_balloon: fitzgen created PR review comment:

Bugs identified in previous audits are not interesting and should be ignored for

Wasmtime GitHub notifications bot (Jun 05 2026 at 14:10):

:speech_balloon: fitzgen created PR review comment:

Bugs identified in previous audits are not interesting and should be ignored for

Wasmtime GitHub notifications bot (Jun 05 2026 at 14:10):

:speech_balloon: fitzgen created PR review comment:

executed with the `clif-util` tool. This test format allows, for example,

Wasmtime GitHub notifications bot (Jun 05 2026 at 17:28):

alexcrichton updated PR #13562.

Wasmtime GitHub notifications bot (Jun 05 2026 at 17:29):

alexcrichton has enabled auto merge for PR #13562.

Wasmtime GitHub notifications bot (Jun 05 2026 at 17:39):

alexcrichton added PR #13562 Add auditor skills to the codebase to the merge queue.

Wasmtime GitHub notifications bot (Jun 05 2026 at 18:02):

:check: alexcrichton merged PR #13562.

Wasmtime GitHub notifications bot (Jun 05 2026 at 18:02):

alexcrichton removed PR #13562 Add auditor skills to the codebase from the merge queue.

Last updated: Jul 29 2026 at 05:03 UTC