Loading MCP servers…
Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
This server publishes no hosted endpoint. Run one of its packages locally.
ghcr.io/phongndo/alive2-mcp:0.1.2 · oci · stdio
claude mcp add --transport stdio alive2-mcp -- docker run -i --rm ghcr.io/phongndo/alive2-mcp:0.1.2