Alive2
Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
General capability
| Provider | phongndo |
|---|---|
| Owner | Not yet linked to a registered owner |
| Protocol | MCP |
| Version | 0.1.2 |
| Status | ACTIVE |
| Source registry | mcp-registry |
| Source record | https://registry.modelcontextprotocol.io/v0/servers/io.github.phongndo%2Falive2-mcp |
| Repository | https://github.com/phongndo/alive2-mcp |
| Website | https://github.com/phongndo/alive2-mcp |
| Authentication required | No |
| First seen by AgentGraph | 11/4/2026, 4:18:42 AM |
| Last seen by AgentGraph | 11/4/2026, 4:18:42 AM |
| Source last updated | 11/3/2026, 10:12:23 AM |
Transport
[
{
"kind": "package",
"identifier": "ghcr.io/phongndo/alive2-mcp:0.1.2",
"registryType": "oci",
"transportType": "stdio"
}
]This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.