mcpField
A
aikido-mcp

aikido-mcp

本地服务
github.com/Bajuzjefe安全235 周前更新

关于 aikido-mcp

aikido-mcp 是用于分析 Cardano 上 Aiken 智能合约安全性的 MCP 服务。它让兼容 MCP 的 AI 助手在开发过程中执行扫描,并查看漏洞规则及说明。

主要功能

  1. 01扫描 Aiken 项目中的漏洞
  2. 02按严重性筛选结果
  3. 03依据 Git 引用执行增量扫描
  4. 04列出 75 项安全检测器
  5. 05解释检测器并查询 CWC

适用场景

  1. 01开发期间扫描 Aiken 项目
  2. 02将扫描结果限制为指定严重性
  3. 03按类别查看安全规则
  4. 04查询 Cardano 弱点分类

MCP 相关

该服务提供四种工具:项目分析、检测器列表、检测器说明和 Cardano Weakness Classification 查询。分析工具调用 aikido 二进制程序;CWC 查询使用静态注册表。

配置

本地服务的配置在各客户端中通用,复制后粘贴到客户端的 MCP 配置文件即可。

mcp.json · 通用配置
{
"mcpServers": {
"bajuzjefe-aikido": {
"command": "npx",
"args": [
"-y",
"aikido-mcp"
],
"env": {
"AIKIDO_BINARY": "<AIKIDO_BINARY>"
}
}
}
}
启动命令npx -y aikido-mcp
需要配置的环境变量
AIKIDO_BINARYOptional path to the aikido binary (auto-detected if not set)

本地服务需要在你的电脑上安装运行环境(如 Node.js 18+)。各客户端的配置文件位置不同,请参考客户端文档。

安装包
npmaikido-mcp0.1.1

工具

4

收录的工具列表 · 更新于 2 周前

参数类型必填说明
diffstring否用于增量分析的 Git 引用 — 仅报告变更文件中的发现结果
configstring否自定义 .aikido.toml 配置文件的路径
static_onlyboolean否跳过多通道编排(速度更快,但不够全面)
min_severityenum否要报告的最低严重性阈值info | low | medium | high | critical
project_pathstring是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_pathstring是Aiken 项目的路径(必须包含 aiken.toml)
min_severityenum否最低严重级别:info、low、medium、high、critical
static_onlyboolean否跳过多通道分析以提升速度
diffstring否用于增量分析的 Git 引用
configstring否.aikido.toml 配置文件的路径
aikido_list_rules

列出所有 75 个检测器,以及严重级别、类别、CWE 映射和层级。

参数类型必填描述
severityenum否按最低严重级别筛选
categorystring否按类别筛选
aikido_explain

详细说明特定检测器。

参数类型必填描述
detectorstring是检测器名称(例如,missing-signature-check)
aikido_cwc_lookup

搜索 Cardano Weakness Classification 注册表。

参数类型必填描述
querystring是CWC ID、严重级别、检测器名称或关键词

工作原理

服务会启动 aikido 二进制文件,并使用 --format json,然后解析结构化输出。二进制文件按以下顺序查找:

  1. AIKIDO_BINARY 环境变量
  2. npm 同级依赖(aikido-aiken 软件包)
  3. PATH 中的 aikido 或 aikido-aiken

CWC 查询工具使用静态注册表,无需二进制文件。

许可证

MIT

评论

支持 Markdown

第一次接触 MCP?

从协议是什么,到在客户端里装上第一个服务,这几条回答覆盖了大多数入门问题。

一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。