Solidity監査用AI自動化ツール、パブリックベータ版へ

要点

• AI Agent Audit は、Solidity スマートコントラクトのセキュリティ脆弱性を自動検出・検証するオープンソースツールがパブリックベータ版に到達しました。

• 開発者が Code4rena コンテストで好成績を上げており、LLM を活用して監査プロセスを加速させることが実証されています。

• ただしツール自体は手動監査の代替ではなく、専門家による審査を補助するものとして位置付けられています。

3つのポイント

よくある質問

このツールを使うには何が必要ですか？

Rust 安定版ツールチェーン、Git、Slither、Foundry（Foundry リポジトリの場合）または Node.js 18以上（Hardhat リポジトリの場合）が必要です。私有リポジトリの場合は GitHub トークンも設定します。

デフォルトでどの AI モデルを使いますか？

監査パイプラインのデフォルトは OpenAI の ChatGPT/Codex で、重い推論は gpt-5.5、デデュプリケーション補助は gpt-5.4 を使用します。ただし Anthropic・Gemini・DeepSeek も設定で選択可能です。

手動監査を完全に置き換えられますか？

いいえ、このプロジェクトは手動監査の代替ではなく、専門家による審査を加速させることを意図しています。