Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

{
  "mcpServers": {
    "atomadic-forge": {
      "type": "http",
      "url": "https://forge.atomadic.tech/mcp"
    }
  }
}

claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp

[mcp_servers.atomadic-forge]
url = "https://forge.atomadic.tech/mcp"

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "atomadic-forge": {
      "type": "remote",
      "url": "https://forge.atomadic.tech/mcp",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "atomadic-forge": {
      "type": "http",
      "url": "https://forge.atomadic.tech/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=atomadic-forge&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vZm9yZ2UuYXRvbWFkaWMudGVjaC9tY3AifQ%3D%3D"
}

{
  "servers": {
    "atomadic-forge": {
      "type": "http",
      "url": "https://forge.atomadic.tech/mcp"
    }
  }
}

{
  "mcpServers": {
    "atomadic-forge": {
      "httpUrl": "https://forge.atomadic.tech/mcp"
    }
  }
}

extensions:
  "atomadic-forge":
    enabled: true
    name: "atomadic-forge"
    type: streamable_http
    uri: "https://forge.atomadic.tech/mcp"
    timeout: 300

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

dependencies100 · weight 15

pass
deps.known_vulnsno known advisory in 10 resolved packages
n/a
deps.mcp_sdk_versionthe official MCP SDK is not in the dependency graph
pass
deps.resolvable[email protected] resolved: 10 packages

Tool list unknown · checked 2026-10-19 11:27 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 55 / 100

multi-version-spam

provenance90

liveness0

freshness65

hygiene75

+repository +namespace-matches-repo +website -unreachable(13 failures) ~updated-161d-ago -multi-version-spam(41)

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

Dependencies

[email protected] PyPI9 dependencies, resolved · advisories checked 2026-10-19

No known advisory affects this dependency graph.

Dependency graphs from deps.dev; advisories from OSV.dev, including the GitHub Advisory Database and the PyPI Advisory Database; all CC BY 4.0. The graph is what a clean install of this version resolves today; nothing was installed or run. How it is checked.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://forge.atomadic.tech/mcp` streamable-http	unknown	no (13 failures)	0%	–	–	–

package	registry	version	runtime	secrets
`atomadic-forge`	pypi	0.87.0	forge

Tools (0)

No tools observed. Tools appear once a credential-free probe can list them.

Schemas: list_tools.

Similar MCP servers

More from io.github.atomadictech

Official server.json

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