Aikido MCP
A security analysis platform for Aiken smart contracts on Cardano that combines 75 detectors with SMT verification, transaction simulation, and fuzzing to find vulnerabilities. It provides multi-lane analysis, source context, severity ratings, and actionable remediation guidance for developers.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
Checks and signals
Each line is separate evidence, not a trust score.
- Popularity 2 GitHub stars
What you can do with it
- Detect vulnerabilities in Aiken smart contracts using 75 detectors
- Perform SMT verification and transaction simulation
- Generate security reports in multiple formats including JSON and SARIF
- Analyze compliance and protocol patterns
Source and maintenance
- Last repository push
- Latest release
- v0.3.1
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
aikido-mcp 0.1.1
{
"version": "0.1.1",
"transport": "stdio",
"identifier": "aikido-mcp",
"registryType": "npm",
"environmentVariables": [
{
"name": "AIKIDO_BINARY",
"format": "string",
"description": "Optional path to the aikido binary (auto-detected if not set)"
}
]
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Maintenance history
Public check and source-refresh events. Editorial and ownership records remain private.
- · repository · passed · metadata changed · updated
- · backfill · recorded · Pre-expansion baseline; unobserved rich metadata remains unknown
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
Cursor
{
"mcpServers": {
"aikido-mcp": {
"command": "npx",
"args": [
"-y",
"aikido-mcp@0.1.1"
],
"env": {
"AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
}
}
}
}Cline
{
"mcpServers": {
"aikido-mcp": {
"command": "npx",
"args": [
"-y",
"aikido-mcp@0.1.1"
],
"env": {
"AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
}
}
}
}VS Code
{
"servers": {
"aikido-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"aikido-mcp@0.1.1"
],
"env": {
"AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
}
}
}
}Claude Desktop
{
"mcpServers": {
"aikido-mcp": {
"command": "npx",
"args": [
"-y",
"aikido-mcp@0.1.1"
],
"env": {
"AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
}
}
}
}Let your agent find its tools
Find servers like Aikido MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.