Security analysis for Aiken smart contracts on Cardano. 75 vulnerability detectors.
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. Add to or equivalent: The binary must be available. Install via: Or set env var to point to the binary. Scan an Aiken project for security vulnerabilities. Parameter | Type | Required |…
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
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. Add to or equivalent: The binary must be available. Install via: Or set env var to point to the binary. Scan an Aiken project for security vulnerabilities. Parameter | Type | Required | Description | -----------|------|----------|-------------| | string | yes | Path to Aiken project…