Skip to content
Agentmart
Submit a tool

A0

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

Connector by Joe-Simo · GitHub account verified by the MCP Registry

IndexedApache-2.0Local (stdio)★ 1
Write a review

Install

Works with Claude Desktop. Read the repository before you give any tool access to your data.

Download the bundle

MCP bundle (.mcpb): open it with Claude Desktop.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list, install config and code. Checked Oct 26, 2026.

Tools
2 read · 4 write · 0 delete · 2 not yet classified
Secrets
None asked for
Install scripts
None found
Runs as
Downloaded binary

Tools by what they do 8

Read from the source code; the running server may list different tools.

Read 2 · Look things up without changing anything.

  • a0_check
  • a0_open

Write 4 · Create, change, send or run things.

  • a0_apply
  • a0_run
  • a0_save
  • edit_file

Not yet classified 2 · We could not tell from the name and description.

  • a0_emit
  • a0_program

Network hosts it talks to 13

  • a0lang.com · found in code
  • api.nuget.org · found in code
  • biomejs.dev · found in code
  • bun.sh · found in code
  • docker.io · found in code
  • github.com · found in install command, code
  • gitlab.com · found in code
  • mirror.msys2.org · found in code
  • opencode.ai · found in code
  • packages.msys2.org · found in code
  • raw.githubusercontent.com · found in code
  • sitemaps.org · found in code
  • tree-sitter.github.io · found in code

Files it touches

  • /dev/stderr
  • /dev/stdin
  • /opt/homebrew
  • /opt/homebrew/bin
  • /opt/homebrew/bin/clojure
  • /opt/homebrew/bin/cobc
  • /opt/homebrew/bin/crystal
  • /opt/homebrew/bin/csc
  • /opt/homebrew/bin/dart
  • /opt/homebrew/bin/dotnet
  • /opt/homebrew/bin/elixir
  • /opt/homebrew/bin/elixirc
  • /opt/homebrew/bin/erl
  • /opt/homebrew/bin/erlc
  • /opt/homebrew/bin/fpc
  • /opt/homebrew/bin/gforth
  • /opt/homebrew/bin/gfortran
  • /opt/homebrew/bin/ghc
  • /opt/homebrew/bin/gleam
  • /opt/homebrew/bin/go
  • /opt/homebrew/bin/groovy
  • /opt/homebrew/bin/groovyc
  • /opt/homebrew/bin/gst
  • /opt/homebrew/bin/guile
  • /opt/homebrew/bin/haxe
  • /opt/homebrew/bin/julia
  • /opt/homebrew/bin/kotlinc
  • /opt/homebrew/bin/ldc2
  • /opt/homebrew/bin/lua
  • /opt/homebrew/bin/luac
  • /opt/homebrew/bin/nim
  • /opt/homebrew/bin/ocamlopt
  • /opt/homebrew/bin/odin
  • /opt/homebrew/bin/perl
  • /opt/homebrew/bin/php
  • /opt/homebrew/bin/racket
  • /opt/homebrew/bin/Rscript
  • /opt/homebrew/bin/sbcl
  • /opt/homebrew/bin/scala-cli
  • /opt/homebrew/bin/swipl

Tools (8)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • a0_apply

    Apply edit lines to the open function; returns the new view or a diagnostic.

  • a0_check

    Validate the current program: one line per function with its revision.

  • a0_emit

    Description is built at runtime.

  • a0_open

    Show one function (dense, callee bodies); reply to a0_apply with edit lines.

  • a0_program

    Open a program handle: every function signature, or with target only those around it. The handle accepts whole fn ... end blocks that add or replace functions.

  • a0_run

    Run a function on JSON arguments (u32 numbers, booleans, arrays for arr/struct) with the reference interpreter, bounded by fuel.

  • a0_save

    Write the edited program to its file.

  • edit_file

    Apply numbered line edits to a file; returns the new numbered file or an error.

Signals

Stars
1
Forks
0
Open issues
0
Last commit
Oct 18, 2026 (10 days ago)
Last release
Oct 1, 2026 (27 days ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name
io.github.Joe-Simo/a0
Version
0.8.16
Auth
No auth
Packages
mcpb https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpbmcpb https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-x64.mcpbmcpb https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpbmcpb https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-arm64.mcpbmcpb https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-windows-x64.mcpb
License
Apache-2.0
Repository
github.com/Joe-Simo/a0
Website
a0lang.com
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql
Cite this page

A0 MCP server. Agent Mart. https://agentmart.dev/connectors/joe-simo-a0 (last updated 2026-10-24)