Loading connector details…
Aikido Security Analysis Platform
MCPOpen SourceMIT28.3
by Bajuzjefe • Uncategorized
Security analysis platform for Aiken smart contracts on Cardano: 75 detectors, SMT verification, transaction simulation
Description
Security analysis platform for Aiken smart contracts on Cardano: 75 detectors, SMT verification, transaction simulation
Quick Actions
Quick Stats
Service TypeMCP
Pricing ModelFree
Capabilities0 Tools / 0 Prompts / 0 Resources
OwnerBajuzjefe
CategoryUncategorized
Tags
aikenauditblockchain-securitycardanomcpmodel-context-protocolsecuritysmart-contractsstatic-analysisvulnerability-detection