Developer · Remote MCP server
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
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
| Transport | URL | Headers declared |
|---|---|---|
| Streamable HTTP | https://forge.atomadic.tech/mcp | None |
Packages
| Registry | Package | Version | Transport |
|---|---|---|---|
| PyPIruntime: forge | atomadic-forge | 0.87.0 | stdio |
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)
| Server | Runs |
|---|---|
| aaaa-nexus — Formally Verified AI Safety APIsFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. | Remote · HTTP |
More developer servers
| Server | Runs |
|---|---|
| Atlassian AttachmentsMCP server for downloading, uploading, and deleting Jira Cloud attachments by ID. | Local · stdio |
| Atlassian Dc MCP BitbucketMCP server for Atlassian Bitbucket Data Center - interact with repositories and code. | Local · stdio |
| Atlassian Dc MCP BitbucketMCP server for Atlassian Bitbucket Data Center - interact with repositories and code. | Local · stdio |
| ATOM Pricing IntelligenceThe Global Price Benchmark for AI Inference. 1,600+ SKUs, 40+ vendors, 14 price indexes. | Remote & Local · SSE, stdio |
| Atomic ClockCurrent UTC time from NTP atomic clocks. Zero-dependency stdio server. | Local · stdio |
| AtomicrepsRetrieval practice in your coding agent: one short question about what you just built. | Remote & Local · HTTP, stdio |
| AtonoGive your AI coding tools your team's product context: stories, bugs, epics, and glossary. | Local · stdio |
| Attest MCPCredential enforcement middleware for MCP servers — verifies scoped tokens on every tool call. | Local · stdio |