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 |…
Déduit des transports déclarés par cette annonce (stdio). Un client absent de cette liste n’est pas écarté pour autant — c’est simplement quelque chose que Forge ne peut pas confirmer.
La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.
Forge n’a aucune analyse enregistrée pour cette entrée et n’a donc aucune observation de sa surface d’outils. C’est une absence de preuve, pas la preuve qu’elle n’expose aucun outil.
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…