agentmods.dev

Bajuzjefe/Aikido-Security-Analysis-Platform

Security analysis platform for Aiken smart contracts on Cardano: 75 detectors, SMT verification, transaction simulation

Open on GitHub
2Stars on the repository
1Mods indexed here, across every type
6mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

aikido-mcp

01

Bajuzjefe/Aikido-Security-Analysis-Platform

MCP server Claude CodeCodexCursor

Security analysis for Aiken smart contracts on Cardano. 75 vulnerability detectors. Runs locally from the aikido-mcp npm package. Needs 1 environment variable to run.

not rated 2 6mo ago A tokens not measured original MIT