aikido-mcp について
aikido-mcpは、Cardano上のAikenスマートコントラクトを分析するMCPサーバーです。MCP対応AIアシスタントから開発中にスキャンを実行し、脆弱性ルールや説明を確認できます。
主な機能
- 01Aikenプロジェクトの脆弱性スキャン
- 02深刻度による結果の絞り込み
- 03Git参照を使った差分スキャン
- 0475種類のセキュリティ検出器一覧
- 05検出器の説明とCWC検索
活用シーン
- 01開発中のAikenプロジェクトのスキャン
- 02指定した深刻度以上の結果に限定
- 03カテゴリ別のセキュリティルール確認
- 04Cardano Weakness Classificationの検索
MCP 対応
プロジェクト分析、検出器一覧、検出器の説明、Cardano Weakness Classification検索の4つのツールを提供します。分析ではaikidoバイナリを実行し、CWC検索には静的レジストリを使います。
設定
ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。
ツール
4掲載時のツール一覧 · 2 週間前に更新
| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
| diff | string | いいえ | 差分分析用の Git ref — 変更ファイル内の検出結果のみを報告 |
| config | string | いいえ | カスタム .aikido.toml 設定ファイルへのパス |
| static_only | boolean | いいえ | マルチレーンのオーケストレーションをスキップします(高速になりますが、網羅性は低下します)。 |
| min_severity | enum | いいえ | 報告する重大度の最小しきい値info | low | medium | high | critical |
| project_path | string | はい | Aiken プロジェクトディレクトリへのパス(aiken.toml を含む必要があります) |
詳細
aikido-mcp
Aikido 用の MCP サーバー — Aiken スマートコントラクト(Cardano)のセキュリティ分析を行います。
MCP 対応の AI アシスタント(Claude Code、Cursor、Windsurf)が、開発中に Aiken プロジェクトのセキュリティスキャンをインラインで実行できます。
セットアップ
Claude Code
~/.claude/settings.json に追加します:
{
"mcpServers": {
"aikido": {
"command": "npx",
"args": ["-y", "aikido-mcp"]
}
}
}
Cursor / Windsurf
.cursor/mcp.json または同等のファイルに追加します:
{
"mcpServers": {
"aikido": {
"command": "npx",
"args": ["-y", "aikido-mcp"]
}
}
}
前提条件
aikido-aiken バイナリを使用できる状態にする必要があります。次の方法でインストールします:
npm install -g aikido-aiken
または、AIKIDO_BINARY 環境変数にバイナリのパスを設定します。
ツール
aikido_analyze
Aiken プロジェクトをスキャンして、セキュリティの脆弱性を検出します。
| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
project_path | string | はい | Aiken プロジェクトへのパス(aiken.toml が含まれている必要があります) |
min_severity | enum | いいえ | 最小重要度:info、low、medium、high、critical |
static_only | boolean | いいえ | 高速化のため、マルチレーン分析をスキップします |
diff | string | いいえ | 増分分析に使用する Git の参照 |
config | string | いいえ | .aikido.toml 設定ファイルへのパス |
aikido_list_rules
重要度、カテゴリ、CWE マッピング、ティアとともに、75 個すべての検出器を一覧表示します。
| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
severity | enum | いいえ | 最小重要度で絞り込みます |
category | string | いいえ | カテゴリで絞り込みます |
aikido_explain
特定の検出器について詳しく説明します。
| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
detector | string | はい | 検出器名(例:missing-signature-check) |
aikido_cwc_lookup
Cardano Weakness Classification レジストリを検索します。
| パラメーター | 型 | 必須 | 説明 |
|---|---|---|---|
query | string | はい | CWC ID、重要度、検出器名、またはキーワード |
動作の仕組み
サーバーは --format json を付けて aikido バイナリを起動し、構造化された出力を解析します。バイナリは次の順に検索されます:
AIKIDO_BINARY環境変数- npm の同階層にあるパッケージ(
aikido-aiken) - PATH 上の
aikidoまたはaikido-aiken
CWC 検索ツールは静的レジストリを使用するため、バイナリは不要です。
ライセンス
MIT
コメント
AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。