Aikido Mcp

Connects Claude to Aikido's security analysis platform for Aiken smart contracts on Cardano. Exposes 75 vulnerability detectors that catch issues like double satisfaction attacks, missing signature checks, and unsafe datum handling before deployment. The tool runs static analysis, SMT verification, transaction simulation, and protocol pattern detection, then correlates findings across these lanes to reduce false positives. Validated against a professional TxPipe audit with 85% coverage on real findings. Reach for this when auditing Cardano contracts written in Aiken, especially DeFi protocols where immutability means vulnerabilities can't be patched post-deployment. Output formats include JSON, SARIF, and terminal reports with CWE classifications and remediation guidance.