PluginBench
MCP Server
Maintained
MIT

io.github.Bajuzjefe/aikido-mcp MCP Server

io.github.Bajuzjefe/aikido-mcp

RepositoryRegistry

What is the io.github.Bajuzjefe/aikido-mcp MCP server?

Security analysis for Aiken smart contracts on Cardano. 75 vulnerability detectors.

How to install io.github.Bajuzjefe/aikido-mcp

Copy-paste configuration for popular MCP clients.

transport: stdio
Config generated by PluginBench — verify against the source before use.
Environment / auth
  • AIKIDO_BINARY

    Optional path to the aikido binary (auto-detected if not set)

Claude Desktop
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "aikido-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "aikido-mcp"
      ],
      "env": {
        "AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
      }
    }
  }
}
Cursor
~/.cursor/mcp.json
{
  "mcpServers": {
    "aikido-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "aikido-mcp"
      ],
      "env": {
        "AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
      }
    }
  }
}
Windsurf
~/.codeium/windsurf/mcp_config.json
{
  "mcpServers": {
    "aikido-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "aikido-mcp"
      ],
      "env": {
        "AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
      }
    }
  }
}
VS Code
.vscode/mcp.json
{
  "servers": {
    "aikido-mcp": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "aikido-mcp"
      ],
      "env": {
        "AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
      }
    }
  }
}
Claude Code
claude mcp add aikido-mcp --env AIKIDO_BINARY=<YOUR_AIKIDO_BINARY> -- npx -y aikido-mcp

Related MCP servers

Scrapling MCP Server

Active

Give your AI agent stealth web scraping with Cloudflare bypass and CSS selection, powered by Scrapling.

67k
Python
BSD-3-Clause
View repository →

Chrome DevTools MCP

Active

Give your AI coding agent full control of a live Chrome browser for automation, debugging, and performance analysis.

45k
TypeScript
Apache-2.0
View repository →

com.puter/mcp-server

Active

Let AI agents manage your Puter files, websites, and serverless workers over MCP.

43k
TypeScript
AGPL-3.0
View repository →

io.github.bytedance/mcp-server-browser

Active

Browser automation for AI agents via MCP, powering ByteDance's Agent TARS hybrid GUI/DOM browser control.

37k
TypeScript
Apache-2.0
View repository →

io.github.bytedance/mcp-server-commands

Active

Run arbitrary shell commands from an MCP-connected AI agent.

37k
TypeScript
Apache-2.0
View repository →

io.github.bytedance/mcp-server-filesystem

Active

Filesystem access MCP server from ByteDance's UI-TARS/Agent TARS ecosystem.

37k
TypeScript
Apache-2.0
View repository →
io.github.Bajuzjefe/aikido-mcp MCP Server | PluginBench