mcpbeat Sign in

Alive2 MCP Server

local only

Alive2 runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 3 Nov 2026.

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

—
Installs / week
not published
0
Stars
0 open issues
3 Nov 2026
Last commit
from GitHub
MIT
License
Go

What the code does

We read the source, 2 d ago · rules 995398eba69f

Capabilities

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

Builds a file path from a variable internal/alive/service.go:89
            file = filepath.Join(home, rest)

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

This code can reach further than it looks

We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.

Three servers free · no card

Alternatives to Alive2

same job, measured the same way
Equation.io
by equation

Create interactive 2D and 3D graphs with validated equations, shareable links, and PNG previews.

3 tools answering
Roam2Go eSIM Catalog
by roam2go

Search travel eSIM data plans for 230+ destinations with live prices and purchase links.

3 tools answering
Interart
by interart

Create and publish AR designs with video, images and text. Get live links and QR codes.

answering
CloudMedico Public MCP
by cloudmedico

Read-only CloudMedico product information with verified source links.

6 tools answering
Bible API MCP
by mrfentmen

Read Bible verses and passages in 30+ translations, with reference lookup and a random verse

175 installs/wk local only
Appy smart links
by appy

Create and edit Appy smart links for apps, and read their click and install stats.

11 tools answering
EvalGate
by evalgate

Create and run AI evaluations, record traces, and inspect results with scoped organization access.

12 tools answering
Cookwith MCP
by jkakar

AI-powered recipe generation and transformation tools by Cookwith

local only

Alive2 — questions

Answers built from our own checks of this server.

Why is there no uptime for Alive2?
Alive2 runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone.
Is Alive2 open source?
Yes — it is published under the MIT licence, written in Go and 0 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.