Alive2
io.github.phongndo/alive2-mcpVersion 0.1.2Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
Status
Not checkedWe do not check this entry.- Last checked
- Not checked yet
- Latency
- Not measured
- Remotes responding
- Not checked yet
- Sign-in
- Unknown
- Hosting
- Hosting unknown
- Registry data as of
- Nov 14, 2026, 22:14 UTC
Data from the official MCP Registry, checked by run.zero. How we check
Connect
Streamable HTTP
oci: ghcr.io/phongndo/alive2-mcp:0.1.2Package only
This address cannot be turned into a client config.
Built your own server? run.zero hosts MCP servers on European infrastructure.
Tools
No tool list available.
Details
- Registry status
- Active
- Published
- Nov 3, 2026
- Updated
- Nov 3, 2026
- Categories
- Uncategorized
- GDPR
- Not declared