io.github.phongndo/alive2-mcp
Alive2
Is the Alive2 MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-04.
Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
alive probed 2026-11-15 · unchanged since 2026-11-04
- Run it
- docker run -i --rm ghcr.io/phongndo/alive2-mcp:0.1.2 (stdio, probed in a container with the network off)
- Host
- ghcr.io
- Reports itself as
- alive2 0.1.2
- Capabilities
- logging, tools
- Instructions
- 519 characters
- Of a 1M window
- 0.1 % of a 1M context window
- Count
- 1.2k tokens in Claude Opus 5.5, exact, measured 2026-11-03. With the Claude Code prefix mcp__…__ on each tool name: 1.3k. The o200k_base estimate is 751. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/phongndo/alive2-mcp
- Website
- https://github.com/phongndo/alive2-mcp
- Registry
- active, updated 2026-11-03 · registry entry
Most expensive tools
The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.64×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| verify | 566 | 345 | 46 % |
| create_link | 455 | 277 | 37 % |
| get_link | 212 | 129 | 17 % |
Compare this server with others.
More servers
Other registry entries on ghcr.io, the ones next to this name; all of them.
- io.github.partymola/ticktick-mcp · alive
- Perforce P4 MCP Server io.github.perforce/p4mcp-server · crashed on start
- UniFi Gateway io.github.pete-builds/unifi · not probed
- io.github.pgEdge/postgres-mcp · crashed on start
- PineForge — offline PineScript v6 backtest MCP io.github.pineforge-4pass/pineforge-backtest-mcp · alive
- PineForge — offline PineScript v6 backtest MCP io.github.pineforge-4pass/pineforge-codegen-mcp · alive
- GPU MCP Server io.github.pmady/gpu-mcp-server · crashed on start
- GSC Scanner io.github.poliakarmai/gsc-scanner · alive
Servers that mention transformations or create.
- adplane ai.adplane/google-ads · needs auth
- Inside Ads ad.inside/inside-ads · alive
- Adrio ai.adrio/adrio · needs auth
- AutEng Docs — Agent Document Workspace & Publishing ai.auteng/docs · alive
- CleanVector ai.cleanvector/cleanvector · alive
- Compeller ai.compeller/compel · alive
- Create Prints ai.createprints/createprints · needs auth
- delega.ai for AWS Pricing Calculator ai.delega/aws-pricing-calculator · needs auth
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server answers initialize and tools/list. Nothing to fix.