Alive2

io.github.phongndo/alive2-mcp

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "alive2-mcp": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "ghcr.io/phongndo/alive2-mcp:0.1.2"
      ]
    }
  }
}

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.1.2
Registry
active
Published
11/3/2026

More Developer Tools servers

Browse all Developer Tools →

NostrPulse

PHONGUIT22

Autonomous payment & Web-of-Trust anti-Sybil layer for AI agents via Nostr & Cashu (NIP-61 NutZaps).

Developer ToolsAdded 1 week ago

babelscribe

phonology024

Offline speech-to-text and SRT subtitles in 99 languages on your own AMD/NVIDIA/Intel/Apple GPU.

Developer ToolsAdded 5 days ago

PhotoFresco

photofresco

Let AI agents edit images in a PhotoFresco window you approve: layers, masks, previews and export.

Developer ToolsAdded 4 days ago

io.github.photoxpedia/bolor-brain-mcp

photoxpedia

Cognitive architecture MCP server with memory, learning, and contextual understanding

Developer ToolsAdded 11 months ago

io.github.phpranga/math-to-code-mcp

phpranga

Math MCP server for primality, factorization, Java templates, and integer multiplication.

Developer ToolsAdded 3 weeks ago

Sarup

PHUICMT

Thai-first context compression; shrinks long Thai and English text, originals retrievable.

Developer ToolsAdded 2 weeks ago

Add the badge to your site

Show visitors that Alive2 is listed here — it’s also the link we check for a free listing.

Alive2 — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-phongndo-alive2-mcp?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Alive2 — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Alive2 — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-phongndo-alive2-mcp?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.