关于 aikido-mcp
aikido-mcp 是用于分析 Cardano 上 Aiken 智能合约安全性的 MCP 服务。它让兼容 MCP 的 AI 助手在开发过程中执行扫描,并查看漏洞规则及说明。
主要功能
- 01扫描 Aiken 项目中的漏洞
- 02按严重性筛选结果
- 03依据 Git 引用执行增量扫描
- 04列出 75 项安全检测器
- 05解释检测器并查询 CWC
适用场景
- 01开发期间扫描 Aiken 项目
- 02将扫描结果限制为指定严重性
- 03按类别查看安全规则
- 04查询 Cardano 弱点分类
MCP 相关
该服务提供四种工具:项目分析、检测器列表、检测器说明和 Cardano Weakness Classification 查询。分析工具调用 aikido 二进制程序;CWC 查询使用静态注册表。
配置
本地服务的配置在各客户端中通用,复制后粘贴到客户端的 MCP 配置文件即可。
工具
4收录的工具列表 · 更新于 2 周前
| 参数 | 类型 | 必填 | 说明 |
|---|---|---|---|
| diff | string | 否 | 用于增量分析的 Git 引用 — 仅报告变更文件中的发现结果 |
| 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
列出所有 75 个检测器,以及严重级别、类别、CWE 映射和层级。
| 参数 | 类型 | 必填 | 描述 |
|---|---|---|---|
severity | enum | 否 | 按最低严重级别筛选 |
category | string | 否 | 按类别筛选 |
aikido_explain
详细说明特定检测器。
| 参数 | 类型 | 必填 | 描述 |
|---|---|---|---|
detector | string | 是 | 检测器名称(例如,missing-signature-check) |
aikido_cwc_lookup
搜索 Cardano Weakness Classification 注册表。
| 参数 | 类型 | 必填 | 描述 |
|---|---|---|---|
query | string | 是 | CWC ID、严重级别、检测器名称或关键词 |
工作原理
服务会启动 aikido 二进制文件,并使用 --format json,然后解析结构化输出。二进制文件按以下顺序查找:
AIKIDO_BINARY环境变量- npm 同级依赖(
aikido-aiken软件包) - PATH 中的
aikido或aikido-aiken
CWC 查询工具使用静态注册表,无需二进制文件。
许可证
MIT
评论
一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。