protogrid
Sign inAdd to your agent

Search / io.github.Joe-Simo/a0

A0

L0· runs locally

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

v0.8.16 · active · repository · website · descriptor JSON · versions

Runs on your machine: something must execute the package.Only local packages are published (npm, PyPI, OCI, …). The registry never executes them, so tools are unknown until you run it.
Quality–not scored
Trust94of 100
Packages5
Tools seen0

Connect

8 clients · secrets stay placeholders
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}
{
  "bundle": "https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpb",
  "registry_type": "mcpb",
  "note": "Install through the client's bundle installer; no command line form."
}

Quality – / 100not scored

Not scored: fewer than three checks apply, usually because no remote answered a credential-free probe or the server is a local package.

protocoln/a · weight 25
  • n/a
    protocol.modern, protocol.stateless, protocol.transport, protocol.list_ttlno remote answered a protocol handshake (not probed yet, unreachable, or local-only)
authorizationn/a · weight 15
  • n/a
    auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
  • n/a
    auth.secret_in_urlno templated URL
tool hygienen/a · weight 30
  • n/a
    tools.descriptions, tools.description_length, tools.schemas, tools.annotations, tools.directory_hints, tools.token_cost, tools.api_dumptool list unknown (behind auth, not probed, or empty)
stabilityn/a · weight 15
  • n/a
    stability.changes, stability.rug_pulltool list unknown
dependenciesn/a · weight 15
  • n/a
    deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

Tool list unknown · checked 2026-10-19 10:20 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 94 / 100

provenance90
livenessn/a
freshness100
hygiene95

+repository +namespace-matches-repo +website ~liveness-unmeasured +updated-18d-ago -unpinned-packages(5)

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

packageregistryversionruntimesecrets
https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-arm64.mcpbmcpbunpinned–
https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-darwin-x64.mcpbmcpbunpinned–
https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-x64.mcpbmcpbunpinned–
https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-linux-arm64.mcpbmcpbunpinned–
https://github.com/Joe-Simo/a0/releases/download/v0.8.16/a0-mcp-windows-x64.mcpbmcpbunpinned–

Tools (0)

No tools observed. Local packages are never executed by the registry.

Schemas: list_tools.

Similar MCP servers

  • AnyCutlistR2quality 100
    com.anycutlist/anycutlist

    Read cutting lists into parts, check them, save drafts, and ask for quotes and machine files.

  • orcareplayL0
    io.github.Continuum-AI-Corp/orcareplay

    Read, replay and fork recorded coding-agent runs.

  • ARNOL0
    io.github.julianbei/arno

    The IDE for agents: read by symbol, edit against a revision, validate with your own build, revert.

  • EverkeepL0
    io.github.st412m/everkeep

    Your notes in one folder on your own server; AI clients read and edit it under write policies

  • SablineL0
    io.github.gowrishankar-infra/sabline

    Run code an AI wrote without handing it everything you can reach.

  • CompositorL0
    io.github.Josusanz/compositor

    Read and edit Compositor .comp projects: layers, folders, masks, transforms, previews and exports

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