Developer · Remote MCP server

Atomadic Forge

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Visit Atomadic Forge's website

What the MCP Registry states

The entry as published to the official MCP Registry (read 2026-10-04), latest version.

Registry name
io.github.atomadictech/atomadic-forge
Version
0.87.0
Status
Active
Category
developer
Transport
Streamable HTTP, stdio (local process)
Package
PyPI
Published
2026-05-11
Updated
2026-05-11
Publisher
atomadictech (GitHub) · 2 servers with pages here
Website
forge.atomadic.tech
Repository
github.com/atomadictech/atomadic-forge
Source
Registry API entry

Remote endpoints

TransportURLHeaders declared
Streamable HTTPhttps://forge.atomadic.tech/mcpNone

Packages

RegistryPackageVersionTransportEnvironment variables
PyPIruntime: forgeatomadic-forge0.87.0stdioNone declared

How to connect Atomadic Forge

Atomadic Forge is a remote MCP server: there is nothing to install. Its endpoint is https://forge.atomadic.tech/mcp, served over Streamable HTTP. In an assistant that accepts remote MCP servers (often under a setting named connectors, integrations or tools), add a new server and give it this URL; in a client configured by file, add it as a remote (HTTP) server with the same URL.

No headers are declared in the registry entry. If the server needs you to sign in, a client that supports MCP authorization opens the service's own sign-in page when it first connects.

It can also run locally from a Python package published to PyPI: atomadic-forge version 0.87.0. It speaks MCP over stdio, so the client starts it as a program and talks to it through standard input and output. It needs Python; clients usually start it with uvx (from uv) or after pip install — the usual command is uvx atomadic-forge; the entry names forge as the runtime.

In the mcpServers JSON format that many desktop and editor MCP clients read, the entry looks like this (placeholders in angle brackets):

{
  "mcpServers": {
    "atomadic-forge": {
      "command": "uvx",
      "args": [
        "atomadic-forge"
      ]
    }
  }
}

Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect

More from atomadictech (GitHub)

All 2 →
ServerRunsEndpoint or package
aaaa-nexus — Formally Verified AI Safety APIsFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.Remote · HTTPaaaa-nexus.atomadictech.workers.dev

More developer servers

All 6,250 →
ServerRunsEndpoint or package
Atlassian AttachmentsMCP server for downloading, uploading, and deleting Jira Cloud attachments by ID.Local · stdioPyPI: mcp-atlassian-attachments
Atlassian Dc MCP BitbucketMCP server for Atlassian Bitbucket Data Center - interact with repositories and code.Local · stdionpm: @atlassian-dc-mcp/bitbucket
Atlassian Dc MCP BitbucketMCP server for Atlassian Bitbucket Data Center - interact with repositories and code.Local · stdionpm: bitbucket-datacenter-mcp
ATOM Pricing IntelligenceThe Global Price Benchmark for AI Inference. 1,600+ SKUs, 40+ vendors, 14 price indexes.Remote & Local · SSE, stdioatom-mcp-server-production.up.railway.app
Atomic ClockCurrent UTC time from NTP atomic clocks. Zero-dependency stdio server.Local · stdioPyPI: atomic-clock-mcp
AtomicrepsRetrieval practice in your coding agent: one short question about what you just built.Remote & Local · HTTP, stdioatomicreps.com
AtonoGive your AI coding tools your team's product context: stories, bugs, epics, and glossary.Local · stdioOCI image (Docker): docker.io/atonoio/atono-mcp-server:1.1.1
Attest MCPCredential enforcement middleware for MCP servers — verifies scoped tokens on every tool call.Local · stdionpm: @attest-dev/mcp