エージェントツール

HackenProof Triage Skill

エージェントスキル

セキュリティ · テスト

HackenProofのバグバウンティレポート処理のための再利用可能なトリアージスキル。コミット/バージョンのスコープ、提出のスコープを検証し、重複を確認し、提出を検証して、状態、重大度、およびコメントを決定します。CodexおよびClaude向け。

関連リソース

Pashov Audit Group Skills

Solidityのセキュリティと開発のためのClaude Codeスキル。solidity-auditorは、開発中のSolidityの変更に関する迅速な (通常は5分未満) セキュリティフィードバックを提供します。Claude Code CLI、VSCodeのClaude拡張機能、およびCursorで動作します。

Trail of Bits Skills Marketplace

AI支援によるセキュリティ分析、テスト、および開発ワークフローを強化するためのスキルを提供する、Trail of BitsのClaude Codeプラグインマーケットプレイス。

OpenZeppelin Skills

Solidityおよびその他のエコシステムのセットアップとアップグレードのワークフローを含む、オープンツェッペリンのContractsライブラリを使用した安全なスマート・コントラクト開発のためのエージェントスキル。

Cyfrin solskill

本番レベルのコード向けのSolidity開発標準を備えたClaudeプラグインです。テスト、コードの品質、およびスマート・コントラクトの機密性について、より徹底しています。Cyfrinマーケットプレイスからインストールします。Patrick CollinsとCyfrinチームによる提供です。

SCV Scan

36の固有の脆弱性タイプを使用して、Solidityコードベースのセキュリティ脆弱性をスキャンするClaude Codeスキル。チートシートの読み込み、構文的および意味的なコードベースのスイープ、参照ファイルを使用した詳細な検証、およびレポートの4段階の監査を行います。smart-contract-vulnerabilitiesからの参照を使用します。

QuillShield Security Skills

スマート・コントラクトのセキュリティ監査のためのAI・エージェントスキル。リエントランシー、オラクル/フラッシュ・ローン、プロキシ/アップグレード、状態の不変条件、セマンティックガードなどをカバーする10個のプラグイン。従来の静的分析では見逃される脆弱性に対するQuillShieldの方法論。ClaudeおよびCursorで動作します。