スマートコントラクトのソースコードを自動的にセキュリティレビューし、PDFレポートとして提供するサービスです。本サービスはSOKEN LTDが運営するリモートMCPサーバーとして提供されます。
機能の概要
デプロイ済みコントラクトのアドレスとチェーン、公開リポジトリとコミット、会話内のソースファイル、または一時アップロードリンクによる非公開コードをご提供ください。サーバーは正確なソースを固定し、サンドボックス環境でビルドを行い、静的解析を実行し、エントリポイント、ロール、外部呼び出しおよびアップグレード権限をマッピングします。AIクライアントセッションは読み取り専用ツールを通じて固定されたコードを読み取り、コード引用を参照して各ファインディングを確認または却下し、結果を送信します。サーバーはソースの整合性を強制し(固定コードと異なる引用を拒否)、すべての件数と合計を計算し、固定されたセベリティマトリクスを適用します。出力はsoken.devでホストされるPDFレポートです。
レポートが発行される前に、SOKEN LTDの担当者がコードやファインディングを確認することはありません。本サービスは自動レビューであり、手動監査ではありません。
接続方法
MCPに対応したクライアントにサーバーURLを追加してください:
https://mcp.soken.dev/mcp
認証は不要です。以下の手順は多くのMCPクライアントに適用されます:
- Claude (claude.ai または Claude Code):MCPサーバー設定でリモートMCPサーバーとしてURLを追加してください。ツールは会話内に自動的に表示されます。
- ChatGPT:設定のMCPサーバー構成を通じてURLを追加してください。追加後、レビューツールがセッション内で利用可能になります。
- Cursor:MCPサーバー構成ファイルにURLを追加してください。ツールはエディタのAIパネルで利用可能になります。
- その他のMCPクライアント:Model Context Protocolに対応するクライアントであれば、上記のURLを使用して接続できます。設定の詳細については各クライアントのドキュメントをご参照ください。
接続後、review_startでレビューを開始し、review_statusで進捗を確認し、review_reportで完成したレポートを取得してください。
対応ネットワーク
- EVMチェーン(EthereumおよびEVM互換ネットワーク(HyperEVMを含む))
- TRON
- Solana
- TON
- Aptos
StarknetおよびSuiは現時点では未対応です。
対応言語
- Solidity、Vyper(EVM、HyperEVM、TRON)
- Rust:Anchor、ネイティブ、Pinocchio(Solana)
- FunC、Tact、Tolk(TON)
- Move(Aptos)
フェアユース制限
1ユーザーあたり1日2件のレポートまでです。共有AIプラットフォームインフラを通じて中継されたリクエストについては、制限はレビュー対象コントラクト単位で適用され、そのプラットフォームの共有日次上限が設けられます。
公開について
レポートが完成した後、公開を選択することができます。公開には、公開ツールを通じて提供される明示的な同意が必要です。公開されたレポートはsoken.dev/auditsの公開レポートライブラリおよびそのパブリックミラーリポジトリで公開され、「Automated by SOKEN MCP」というラベルが付されます。
レビュー対象ごとに1件の公開レポートが維持されます(同一チェーン上の同一コントラクトアドレス、または同一リポジトリ)。同一対象の後続の公開レビューは、先行するレポートを置き換えます。公開されたレポートは、当社のレポート削除ポリシーに基づき削除されるまで公開アクセス可能な状態を維持します。
お客様が所有していないコードに関するレポートについては、コード所有者が所有権を確認するまで、HighおよびCriticalファインディングのエクスプロイト詳細は公開プロフィールに表示されません。
法的文書およびポリシー文書
ソースコード
本サービスのソースコードはgithub.com/Soken-LTD/contract-reviewで公開されています。
お問い合わせ
サポート、ご質問またはフィードバックについては:hello@soken.dev