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
We read the source, 2 d ago · rules 995398eba69f
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.
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.
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.
Create interactive 2D and 3D graphs with validated equations, shareable links, and PNG previews.
Search travel eSIM data plans for 230+ destinations with live prices and purchase links.
Create and publish AR designs with video, images and text. Get live links and QR codes.
Read-only CloudMedico product information with verified source links.
Read Bible verses and passages in 30+ translations, with reference lookup and a random verse
Create and edit Appy smart links for apps, and read their click and install stats.
Create and run AI evaluations, record traces, and inspect results with scoped organization access.
AI-powered recipe generation and transformation tools by Cookwith
Answers built from our own checks of this server.