Add aikido: static security analyzer for Aiken smart contracts

[Bajuzjefe]

Adds aikido to the Smart Contracts section.

Aikido is a static security analyzer for Aiken smart contracts on Cardano. It has 75 vulnerability detectors covering authorization, value preservation, datum integrity, minting policies, arithmetic safety, and more. It includes a Cardano Weakness Classification (CWC) registry mapping all detectors to Cardano-specific weakness categories.

• Output formats: text, json, sarif, markdown, html, csv, gitlab-sast, rdjson
• Config: .aikido.toml with presets, per-file overrides, inline suppressions
• Also available as an MCP server for AI-assisted auditing

[mre]

Hello @Bajuzjefe,

thanks for your contribution.

The tool looks great, however the README.md file is auto-generated from the files in data/tools. Can you please go ahead and create a new YAML file in that directory with the information for the tool? You can take a look at the existing files to get an idea of the file format.
The README.md will be rendered automatically then, so the manual changes can be reverted.