Verification

verification-loop は、コード変更後に build、type、lint、test、security、diff を確認するための Claude Code 向け検証ワークフローです。PR 前やリファクタリング後に、一般的なプロンプトではなく、整理された変更後チェックガイドが欲しいときに役立ちます。

qa-onlyは、Webアプリのテスト、バグの記録、証跡の保存を行いながら、修正は加えないレポート専用のQAスキルです。体系的なバグレポート、健全性スコアリング、スクリーンショット、再現手順が必要なQAレビュー担当者やエージェント向けに設計されています。テスト・修正・確認の流れではなく、バグ報告中心のワークフローが必要なときにqa-onlyを使ってください。

test-driven-development スキルは、まず失敗するテストを書き、その後で最小限の修正を加えて通すことでコード変更を進めるのに役立ちます。ロジック変更、バグ修正、回帰対策、そして「それらしい修正」よりも証拠が重要なエッジケースに適しています。

solana-vulnerability-scanner は、ネイティブ Rust と Anchor プログラムに特化した Solana セキュリティ監査スキルです。CPI ロジック、PDA 検証、署名者と所有権のチェック、sysvar なりすましを確認し、デプロイ前に Solana 特有の6つの重大な脆弱性を見つけるのに役立ちます。

cosmos-vulnerability-scanner は、Cosmos SDK モジュール、CosmWasm コントラクト、IBC 統合、Cosmos EVM スタックに潜むコンセンサス重大バグを見つけます。セキュリティ監査のワークフロー、チェーン停止リスク、資金流出につながる経路、リリース前レビューでは、この cosmos-vulnerability-scanner ガイドを活用してください。

code-maturity-assessor は、Trail of Bits の9カテゴリフレームワークに基づく、証拠ベースのコード成熟度レビューを提供します。算術の安全性、監査性、アクセス制御、複雑さ、分散化、ドキュメント、MEVリスク、低レベルコード、テストを評価し、セキュリティ監査に向けた準備状況を高めるための実行可能な改善提案を示します。

cairo-vulnerability-scanner は、felt252 の算術エラー、L1-L2 メッセージングの不具合、アドレス変換のバグ、署名リプレイを含む 6 つの重大な問題について Cairo/StarkNet スマートコントラクトをスキャンします。StarkNet コントラクトの Security Audit レビューに、この cairo-vulnerability-scanner スキルを使用してください。

reflect は、直前の応答や出力を見直すための Skill Validation ツールです。複雑さの切り分けと検証を使い、見落とした欠陥、弱い推論、過剰な自信による承認を、成果物を出す前にあぶり出します。