Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
Connect Runs on your machine
claude mcp add alive2-mcp -- docker run -i --rm ghcr.io/phongndo/alive2-mcp:0.1.2
{
"mcpServers": {
"alive2-mcp": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/phongndo/alive2-mcp:0.1.2"
]
}
}
}
{
"mcpServers": {
"alive2-mcp": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/phongndo/alive2-mcp:0.1.2"
]
}
}
}
{
"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
| Package | ghcr.io/phongndo/alive2-mcp:0.1.2 (OCI, stdio) |
| First published | 3 Nov 2026 |
| Last updated | 3 Nov 2026 |
| Registry name | io.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.
