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 |…
Abgeleitet aus den Transporten, die dieser Eintrag deklariert (stdio). Ein Client, der hier nicht steht, ist damit nicht ausgeschlossen — Forge kann ihn nur nicht bestätigen.
Die Verifizierung bestätigt die Identität des Publishers (die Inhaberschaft am Repo), nicht die Sicherheit des Codes. Der Sicherheits-Scan deckt bekannte CVEs und verdächtige Installationsskripte ab.
Forge hat zu diesem Eintrag keinen Scan verzeichnet und hat daher keine Beobachtung seiner Tool-Oberfläche. Das ist das Fehlen eines Belegs, nicht der Beleg, dass er keine Tools offenlegt.
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…