io.github.phongndo/alive2-mcp

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Alive2

Publisher-provided description

Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links

Summary by lookupd

Checks LLVM IR transformations for correctness with Alive2 and reads or creates alive2.llvm.org links.

Install

No install method is listed in the registry entry.

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

• Version: 0.1.2
• Transports: stdio
• First indexed: 2026-11-03T08:17:26.110Z
• Last seen in registry: 2026-11-03T10:17:38.719Z
• Repository: https://github.com/phongndo/alive2-mcp
• Website: https://github.com/phongndo/alive2-mcp

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.phongndo/alive2-mcp.svg)](https://lookupd.com/servers/io.github.phongndo/alive2-mcp)

• 62092 servers
• Last crawl: 2026-11-11T17:38:11.606Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp