Aikido Mcp

io.github.Bajuzjefe由 GitHub 账号 Bajuzjefe 发布v0.1.1更新于 Oct 24, 2026

Security analysis for Aiken smart contracts on Cardano. 75 vulnerability detectors.

已验证STDIO仅桌面开发者工具安全与监控

概览

AI 生成的概览

对 Cardano 上的 Aiken 智能合约运行 Aikido 安全扫描,让助手分析项目、列出检测器并查询弱点分类。

可以做什么
  • 扫描 Aiken 项目中的安全漏洞,可设置最低严重级别、仅静态分析、按 Git 引用做增量分析以及指定配置文件
  • 列出全部 75 个检测器及其严重级别、类别、CWE 映射和层级,并可按严重级别或类别筛选
  • 详细解释某个具体检测器
  • 按 CWC 编号、严重级别、检测器名称或关键词检索 Cardano 弱点分类注册表
适用场景
适用于开发或审计 Cardano 上的 Aiken 智能合约时,希望在开发过程中让助手直接提供漏洞发现、检测器说明和弱点分类背景信息。
运行要求
以 stdio 方式在本地运行,通常通过 npx 启动。需要已安装 aikido-aiken 二进制(例如通过 npm 全局安装),或用 AIKIDO_BINARY 环境变量指定其路径,否则会在 PATH 中查找。CWC 查询工具无需该二进制。
安装前请注意
该服务器会启动本地二进制并读取所给路径下的项目文件,请只指向你打算扫描的项目。大型项目扫描可能耗时较长,仅静态模式以深度换取速度。

安装

在 SourceWeft 中

  1. 打开 控制台中的 Aikido Mcp,将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Desktop only,通过 STDIO。 STDIO 服务会启动本地进程,因此需要 SourceWeft 桌面宿主。

其他 MCP 客户端

参照 仓库 中的启动说明。

README

aikido-mcp

MCP server for Aikido — security analysis for Aiken smart contracts (Cardano).

Lets any MCP-compatible AI assistant (Claude Code, Cursor, Windsurf) run security scans on Aiken projects inline during development.

Setup

Claude Code

Add to ~/.claude/settings.json:

json
{  "mcpServers": {    "aikido": {      "command": "npx",      "args": ["-y", "aikido-mcp"]    }  }}

Cursor / Windsurf

Add to .cursor/mcp.json or equivalent:

json
{  "mcpServers": {    "aikido": {      "command": "npx",      "args": ["-y", "aikido-mcp"]    }  }}

Prerequisites

The aikido-aiken binary must be available. Install via:

bash
npm install -g aikido-aiken

Or set AIKIDO_BINARY env var to point to the binary.

Tools

aikido_analyze

Scan an Aiken project for security vulnerabilities.

ParameterTypeRequiredDescription
project_pathstringyesPath to Aiken project (must contain aiken.toml)
min_severityenumnoMinimum severity: info, low, medium, high, critical
static_onlybooleannoSkip multi-lane analysis for speed
diffstringnoGit ref for incremental analysis
configstringnoPath to .aikido.toml config

aikido_list_rules

List all 75 detectors with severity, category, CWE mapping, and tier.

ParameterTypeRequiredDescription
severityenumnoFilter by minimum severity
categorystringnoFilter by category

aikido_explain

Detailed explanation of a specific detector.

ParameterTypeRequiredDescription
detectorstringyesDetector name (e.g., missing-signature-check)

aikido_cwc_lookup

Search the Cardano Weakness Classification registry.

ParameterTypeRequiredDescription
querystringyesCWC ID, severity, detector name, or keyword

How it works

The server spawns the aikido binary with --format json and parses the structured output. Binary discovery checks (in order):

  1. AIKIDO_BINARY environment variable
  2. npm sibling (aikido-aiken package)
  3. aikido or aikido-aiken on PATH

The CWC lookup tool uses a static registry and does not require the binary.

License

MIT

来源:mcp-server/README.md,提交 2c59560

工具

0
SourceWeft 尚未在沙箱中启动过该软件包,因此其工具未知。

版本历史

1
  1. v0.1.1最新Sep 16, 2026

评分

已满足适用检查项的 50%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通25 分

    请保持端点能够响应 MCP 握手;SourceWeft 每 30 天探测一次。

  • 已声明认证方式10 分

    请在注册中心条目中声明凭据请求头,或保持端点能够响应探测,以便判定其认证方式。

  • 已列出工具15 分

    请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。

  • 描述必需15 分
  • 图标10 分
  • 文档15 分
  • 许可证10 分