Skip to content

Add aikido: static security analyzer for Aiken smart contracts#1750

Open
Bajuzjefe wants to merge 2 commits into
analysis-tools-dev:masterfrom
Bajuzjefe:add-aikido
Open

Add aikido: static security analyzer for Aiken smart contracts#1750
Bajuzjefe wants to merge 2 commits into
analysis-tools-dev:masterfrom
Bajuzjefe:add-aikido

Conversation

@Bajuzjefe

Copy link
Copy Markdown

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

mre commented Mar 17, 2026

Copy link
Copy Markdown
Member

Thanks for the submission. Unfortunately this one doesn't meet our criteria yet:

  1. The PR edits README.md directly. Tools need to be added as a YAML file under data/tools/ -- see CONTRIBUTING.md.
  2. The repo has 2 stars, which is well below our minimum of 20.

We'll keep this open, but we'd need to see the project grow significantly before it can be added.

@github-actions github-actions Bot added the stale label Jun 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants