SSyncDev

Aikido MCP Server

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

Local serverstdio

What is the Aikido MCP Server?

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

What it actually does

Aikido goes beyond static analysis. It combines a 75-detector suite with SMT verification, transaction simulation, compliance analysis, protocol pattern detection, and grammar-aware fuzzing to find vulnerabilities in Aiken smart contracts before they reach mainnet. Multi-lane analysis cross-correlates evidence across techniques, producing findings with source context, severity ratings, CWE/CWC classifications, and actionable remediation guidance.

  • The only security tool for Aiken — - no alternatives exist in the ecosystem
  • 75 detectors — with CWC (Cardano Weakness Classification) and CWE mappings
  • Multi-lane analysis — - static detectors, compliance, SMT verification, transaction simulation, protocol detection, fuzzing
  • Validated against professional audit — - 85% coverage on TxPipe's Strike Finance audit findings (full comparison)
  • Evidence framework — - findings corroborated across multiple analysis techniques (PatternMatch -> SmtProven -> SimulationConfirmed)
  • 9 output formats — - terminal, JSON, SARIF, Markdown, HTML, PDF, CSV, GitLab SAST, reviewdog

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
usesactions/checkout@v4
nameInstall Aikido
double-satisfactionCWE-362
missing-minting-policy-checkCWE-862
missing-utxo-authenticationCWE-345
unrestricted-mintingCWE-862

How to install the Aikido MCP Server

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

Add to claude_desktop_config.json, then restart Claude Desktop.

Example prompts to try

  • “Use Aikido to Multi.”
  • “Use Aikido to uses.”
  • “Use Aikido to name.”

Frequently asked questions

Security analysis for Aiken smart contracts on Cardano. 75 vulnerability detectors. Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.

Alternatives to the Aikido MCP Server

NVD Database

Queries the NIST National Vulnerability Database (NVD) via its API.

DatabasesPython★ 14

Cursor Trivy

Scans projects for security vulnerabilities and automatically updates vulnerable dependencies using Trivy.

Security & IdentityPython★ 10

3ilm-mcp

Search 1,032 verified smart contract vulnerability findings from Sherlock audits by pattern.

Security & Identity

A2adependencyinspector-mcp

Remote MCP for A2A dependency inspector MCP, structured receipts, audit logs, and reviewer-ready evi

Security & IdentityRemote

A2areplayreceipt-mcp

Remote MCP for A2A failure replay MCP, structured receipts, audit logs, and reviewer-ready evidence.

Security & IdentityRemote

Abp Io MCP

A comprehensive Model Context Protocol (MCP) server for ABP.IO framework with 48+ tools for application development, UI generation, and management

Developer ToolsTypeScript