Pashov Audit Group Skills

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

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

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

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

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

Claude CodeおよびCodex CLI向けのスマート・コントラクトセキュリティ監査ツール。スリザー、Aderyn、Cyfrinチェックリスト、およびSoloditの調査結果を統合します。静的解析と調査結果の検索のための4つのMCPツールを備えたMap-Hunt-Attack手法を採用しています。