NestDaddy

Alive2

io.github.phongndo/alive2-mcp · v0.1.2

Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links

Connect Runs on your machine

Terminal
claude mcp add alive2-mcp -- docker run -i --rm ghcr.io/phongndo/alive2-mcp:0.1.2
claude_desktop_config.json
{
  "mcpServers": {
    "alive2-mcp": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "ghcr.io/phongndo/alive2-mcp:0.1.2"
      ]
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "alive2-mcp": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "ghcr.io/phongndo/alive2-mcp:0.1.2"
      ]
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "alive2-mcp": {
      "type": "stdio",
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "ghcr.io/phongndo/alive2-mcp:0.1.2"
      ]
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

Packageghcr.io/phongndo/alive2-mcp:0.1.2 (OCI, stdio)
First published3 Nov 2026
Last updated3 Nov 2026
Registry nameio.github.phongndo/alive2-mcp

More other servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.