mcpbeat Sign in

A0 MCP Server

local only

A0 runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 17 Oct 2026.

Write, check, run and compile A0 programs through revision-checked structured edits.

—
Installs / week
not published
1
Stars
0 open issues
17 Oct 2026
Last commit
from GitHub
Apache-2.0
License
TypeScript

What the code does

We read the source, 9 h ago · rules ccca72095570

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.

Executes code built at runtime src/prove.ts:103, src/z3enc.ts:395
    if (ty === 'u32') return Number((model.eval(v as never, true) as { value(): bigint }).value());
  const r = spawnSync(process.execPath, [join(here, `${script}.js`), ...args], {
    re: /unexpected 'end' before ret|is not used by any node|duplicate edit|duplicate definition|rec expects|select expects|expects \d+ (extra )?arguments, got|needs \d+ operands|out of range|expected 'fn name types|expected 0 arguments/,
Runs an external command seed/driver.c:151
      int status = system(cmd);

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 A0

same job, measured the same way
Sounio Compiler
by agourakis82

Check, compile, run, and test Sounio programs locally.

78 installs/wk local only
Overleaf Web MCP
by mhmdaskari

Read, edit, compile, and review Overleaf projects through your own signed-in web session.

502 installs/wk local only
BitsWeave
by bitsweave

Read and write shared BitsWeave context, projects, tasks, and work sessions through MCP.

answering
Sounding
by zeromega01

Sounding checks proposed decisions and returns structured proceed, revise, or pause assessments.

1 tools answering
Cosmic Ears MCP
by levanmamulashvili911-byte

Real satellite audio, spectrograms and provenance through MCP.

local only
koment
by koment-dev

Read and write checked code rationale stored outside source comments.

local only
koment
by janpuc

Read and write checked code rationale stored outside source comments.

local only
AffiliateBase
by affiliatebase

Set up and run a Stripe affiliate program: tracking checks, affiliates, commissions, payouts.

answering

A0 — questions

Answers built from our own checks of this server.

Why is there no uptime for A0?
A0 runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone.
Is A0 open source?
Yes — it is published under the Apache-2.0 licence, written in TypeScript and 1 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.