C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
- C/C++のファジング中のメモリエラー検出
- Rustのunsafeや外部呼び出しの検証
- ASanのクラッシュ報告を読みたいとき
保存済みの不具合判定と証拠を検証し、確定した問題、既存の不具合、未解決事項や調査範囲の抜けを分けた報告書をHTML・Markdown・JSONで生成するスキル。
Use when assembling or refreshing an evidence-linked regression report from saved campaign decisions.
保存済みの不具合判定と証拠から、調査全体の報告書をHTML・Markdown・JSONで生成・更新します。対象範囲と候補の一覧を照合し、PRやコミットのID、重複判定の対応関係を保持します。確定した問題の件数に、既存の不具合、不完全な修正、却下された候補、未解決事項が混ざらないよう整理します。
複数の変更や候補を調査した結果を、一つの報告書にまとめる場面に向いています。証拠へのリンク、評価理由、調査範囲の抜け、未完了の確認、人によるレビュー待ちを確認できます。調査が途中でも、その状況を反映した報告書を作成します。
固定済みのscope.json、調査の索引、進捗台帳、各段階の証拠パッケージ、担当割り当てが必要です。付属のreport.pyをuv run --no-projectで実行します。証拠の判定や記録の修復は担当せず、検証エラーがあれば報告作業をブロックとして記録します。報告書の完成と、調査全体の完了は別に扱います。
この紹介文は、公開されている SKILL.md をもとに AI(OpenAI Codex)が作成しました。正確な仕様は下の原文を確認してください。
インストールする前に、エージェントに与えられる指示の中身を確認できます。
Input: frozen scope.json, campaign index, progress ledger, sealed stage packages
and registry assignment.
Follow project guidance for every scoped change before reporting.
Adjudicating evidence or repairing records; return those needs to the caller.
uv run --no-project with the campaign
directory and --output ASSIGNED_DIRECTORY/reports to render HTML, Markdown and JSON.
Exit 1 means changed evidence or an invalid index; return its diagnostics and record the stage as blocked. Exit 0 may include UNRESOLVED findings; report each unresolved_reason and the verification level of confirmed findings. Never repair decisions, invent
evidence or edit hashes to pass validation.report-stage.json with the assigned inputs and generated reports as artifacts;
record validation failures as blocked.Keep detailed findings in the reports. Return only:
complete or blocked for report production.report-stage.json and validated output paths; identify incomplete outputs.A complete report may describe an incomplete campaign.
まだレビューはありません。使ってみた感想をお寄せください。
ログインなしで書き込めます。使ってみた感想、質問、動かなかった環境などを気軽にどうぞ。
まだコメントはありません。最初のコメントを書いてみませんか。
C/C++やunsafeを含むRustのテストで、領域外アクセスや解放済みメモリの使用を検出します。ビルド設定からクラッシュ報告の読み解きまで支援します。
変更前後のソースと実環境での再現・独立検証の証拠を照合し、新たな不具合か、既存の問題や判定保留かを根拠付きで整理して判定記録に残すスキル。
C/C++のプログラムに多様な入力を与えて不具合を探すテストを、AFL++で複数コアに並列化し、実行状況の確認からクラッシュの再現・調査まで支援するスキル。
GitHub Actionsで動くAIエージェントへの不正な指示の混入や危険な権限設定を点検します。外部入力が届く経路を追い、根拠と重大度、修正案を報告します。
Algorandのスマートコントラクトを11種類の脆弱性パターンで点検し、権限や手数料、入力検証の問題を根拠・修正案付きで報告するスキル。
PythonコードやC拡張へ多様な入力を与えるファジングを導入し、予期しない例外やメモリ破損を探します。実行環境の準備からテスト用コードの作成、結果の読み取りまで支援します。