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 bajuzki.com
2Stars on the repository
1Mods indexed here, across every type
7mo 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 +2

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 7mo ago A tokens not measured original MIT