io.github.phongndo/alive2-mcp · v0.1.0 · other
Alive2 is a local (stdio) package with no hosted endpoint.
Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
Repository · Website · JSON · Add to my inventory
| Users (last 30 days) | 0 |
| Handshake | Local |
| Auth needed | – |
| Tool count | – |
| Latency | – |
| Last checked (UTC) | never |
No checks yet.
Tools are listed after a successful handshake.