MCPLow riskUnclaimed

A0

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

Joe-Simojoe-simo/a0Updated Oct 1, 2026

server.json

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.Joe-Simo/a0",
  "description": "Write, check, run and compile A0 programs through revision-checked structured edits.",
  "title": "A0",
  "repository": {
    "url": "https://github.com/Joe-Simo/a0",
    "source": "github"
  },
  "version": "0.8.16",
  "websiteUrl": "https://a0lang.com",
  "packages": [
    {
      "registryType": "mcpb",
      "identifier": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
      "fileSha256": "ec11d1a0341fb89e9bf17ab9d6d502df5d4fe2afd2b2d57cc78cd04f47328cb5",
      "transport": {
        "type": "stdio"
      }
    },
    {
      "registryType": "mcpb",
      "identifier": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-x64.mcpb",
      "fileSha256": "905fc58960ca66a1cf7fd4064e9faf53d3e860826c2717b5dcf9716507beca7e",
      "transport": {
        "type": "stdio"
      }
    },
    {
      "registryType": "mcpb",
      "identifier": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpb",
      "fileSha256": "fb770d4518210b5068ed685c616c491631ffd4d18ec2f7bb04ecbc0d7600027e",
      "transport": {
        "type": "stdio"
      }
    },
    {
      "registryType": "mcpb",
      "identifier": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-arm64.mcpb",
      "fileSha256": "3707c9d48819dd94e945b00a84afbbe5b0460cb375b3020609ef10abcb02e357",
      "transport": {
        "type": "stdio"
      }
    },
    {
      "registryType": "mcpb",
      "identifier": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-windows-x64.mcpb",
      "fileSha256": "840e0f04c9a0fc945ddf426905daa5846a3820cb767b9d3f9b62a17222a5dd8c",
      "transport": {
        "type": "stdio"
      }
    }
  ]
}

Permissions

DeclaredDetected
Runs code—bundle
Installs—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
Runs install scripts—None
NetworkNoneNone
Needs credentialsNoneNone
Outside the workspace—None
Agent tools—None

Checks

Low risk · Nothing worth a warning was found.

Not reviewed by a person · Checked by rules; the model review is not switched on yet.

Versions

  1. #10.8.16latestOct 7, 2026