Solidityスマートコントラクト監査エージェント

機能

• ファイル作業フォルダ内のファイルの読み取り、書き込み、編集、削除、一覧表示を行います。
• Shellビルドおよびテストコマンドを実行し、実際の終了コードを返します。
• Webウェブを検索するか、1つの公式ドキュメントページを読み取ります。
• スクリーンショットと画像スクリーンショットからテキストを読み取ったり、画像ファイルを生成したりします。
• オーケストレーション並列サブエージェントを実行するか、重要なステップをより大きなモデルへ送信します。
• 承認モード制御を維持するためのAuto-run、Ask first、またはPlan onlyを選択できます。
• Cron見守らずともスケジュールに従ってプロンプトを実行します。
• Modelsクラウドプロバイダ、ローカルモデル、または内蔵モデルを使用できます。

ウォークスルー

脆弱性の発見

Keylatchはlist_dirとglobを使用してコントラクトファイルを検出し、read_fileを使用してコードを読み取るため、安全にレビューできます。grepはプロジェクトディレクトリ構造全体で外部呼び出しとアクセスチェックをすべて検出します。write_fileとedit_fileは、Ask firstモードで差分を表示し、承認前に確認できます。ShellはPC上で独自のテストコマンドと静的チェックコマンドを実行します。web_searchは最新の標準仕様を確認するために公式Solidityドキュメントを読み取ります。このSolidityスマートコントラクト監査では、スクリーンショットから表を読み取るためにOCRを使用します。監査におけるAIの誤検知のフィルタリングは、手動確認によって処理されます。

テストの実行

エージェントはgrepを使用してプロジェクト全体の外部呼び出しと状態変更を検出し、問題を探す場所と計画をレビューする場所を正確に把握します。計画を確認してください。read_fileを使用してコントラクトを読み取り、list_dirを使用してファイルを検出します。スマートコントラクト監査の例では、write_fileとedit_fileが発見事項のメモを作成する方法を示しています。Plan onlyモードで何かを実行する前に計画をレビューします。Shellはテストコマンドを実行し、出力をテキストファイルに保存します。web_searchとhttp_getは参照用に公式Solidityドキュメントを読み取ります。スマートコントラクト監査の次のステップは、ローカルテストで発見事項を確認することです。