a0/server.json at main · Joe-Simo/a0 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.Joe-Simo/a0",
  "title": "A0",
  "description": "Write, check, run and compile A0 programs through revision-checked structured edits.",
  "websiteUrl": "https://a0lang.com",
  "repository": {
    "url": "https://github.com/Joe-Simo/a0",
    "source": "github"
  },
  "version": "0.8.16",
  "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"
      }
    }
  ]
}