Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
Maintain this server? Claim it
This server only runs locally, from a package. Install it with the instructions on this page to try it.
Pick your client. Values in capitals, like YOUR_TOKEN, are yours to fill in.
claude mcp add alive2-mcp \ -- docker run -i --rm ghcr.io/phongndo/alive2-mcp:0.1.2
We don't run packages, so we can't list this server's tools.