← all MCP servers

Alive2

io.github.phongndo/alive2-mcp

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

install

oci · stdio
docker run -i --rm ghcr.io/phongndo/alive2-mcp:0.1.2

details

version: 0.1.2
license: MIT
stars: 0
last commit: 2026-11-03
published: 2026-11-03

https://github.com/phongndo/alive2-mcp

last synced 2026-11-04