atomadic-forge/server.json at main · atomadictech/atomadic-forge · 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
{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.atomadictech/atomadic-forge",
  "title": "Atomadic Forge",
  "description": "Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.",
  "version": "0.87.0",
  "websiteUrl": "https://forge.atomadic.tech",
  "repository": {
    "url": "https://github.com/atomadictech/atomadic-forge",
    "source": "github"
  },
  "packages": [
    {
      "registryType": "pypi",
      "identifier": "atomadic-forge",
      "version": "0.87.0",
      "runtimeHint": "forge",
      "transport": {
        "type": "stdio"
      },
      "packageArguments": [
        {
          "value": "mcp",
          "type": "positional"
        },
        {
          "value": "serve",
          "type": "positional"
        }
      ]
    }
  ],
  "remotes": [
    {
      "type": "streamable-http",
      "url": "https://forge.atomadic.tech/mcp"
    }
  ]
}