MCPNav
A

Atomadic Forge

MCP server · by atomadictech

Developer Tools
PythonStreamable HTTP
v0.87.0

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

Install

Run one of the commands below, then add the client config underneath.

Python
uvx atomadic-forge
Streamable HTTP
https://forge.atomadic.tech/mcp

Client configuration

Paste into Claude Desktop, Cursor (mcp.json), VS Code or any MCP client, then restart the client.

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

About this server

Atomadic Forge is listed in the Developer Tools category of the MCPNav directory. It is distributed as Python, Streamable HTTP and can be loaded by any client that speaks the Model Context Protocol.

Typical uses include giving your assistant scoped access to the corresponding service so it can answer questions and take actions with real data instead of guessing. Always review what a server can access before you enable it — see our MCP security guide.

Frequently asked questions

What is the Atomadic Forge MCP server?

Atomadic Forge is an MCP server by atomadictech. Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

How do I install Atomadic Forge?

Install it with: uvx atomadic-forge. Then add the JSON config to your client's MCP settings and restart the client.

Is Atomadic Forge free to use?

The MCP server itself is free to install. The source is public on https://github.com/atomadictech/atomadic-forge. Any third-party API it calls (such as a search or maps API) may require its own key and billing.

Which clients support Atomadic Forge?

Any MCP-compatible client can use it, including Claude Desktop, Cursor, VS Code, Windsurf and custom agents.