io.github.Bajuzjefe/aikido-mcp MCP Server

io.github.Bajuzjefe/aikido-mcp

Repository Registry

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)

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "aikido-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "aikido-mcp"
      ],
      "env": {
        "AIKIDO_BINARY": "<YOUR_AIKIDO_BINARY>"
      }
    }
  }
}

Related MCP servers

io.github.BalajSaleem/criterion

Maintained

Semantic search across 6,236 Quran verses and 21,641 authentic Hadiths for AI-powered Islamic guidance.

TypeScript

View repository →

Nexbid — Agentic Ad Server

AI agent product discovery via open marketplace. Search, compare and discover advertiser products.

View repository →

BlogCaster MCP

An MCP server for the BlogCaster project.

io.github.Bamdule/drafturl

Maintained

Share HTML/Markdown documents via URL instantly. Create, edit, delete docs from any AI tool.

Java

View repository →

io.github.Banana-Prompts/banana-prompts-mcp

Maintained

MCP server to search Nano Banana prompts from bananaprompts.fun

TypeScript

View repository →

io.github.Baneado98/ci-sentinel

Active

Multi-CI security scanner with a live threat-intel feed of compromised CI components

MIT

View repository →