Atomadic Forge

io.github.atomadictech/atomadic-forge

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.87.0
Registry
deprecated
Published
5/11/2026

Remotes

  • streamable-httphttps://forge.atomadic.tech/mcp

More Developer Tools servers

Browse all Developer Tools →

Verse by A-to-Mind

atomeam

Ask Verse anything with sources, plus code review, translation and more paid per call over x402.

Developer ToolsAdded 4 days ago

Web Algebra

AtomGraph

Composable Linked Data and SPARQL operations, and LinkedDataHub content tools

Developer ToolsAdded 1 week ago

Atomic Mail

Atomic-Mail

Programmable email inbox for AI agents — JMAP, PoW auth, stdio MCP server.

Developer ToolsAdded 1 week ago

io.github.atomicreps/atomicreps

atomicreps

Retrieval practice in your coding agent: one short question about what you just built.

Developer ToolsAdded 1 month ago

llmwiki

atomicstrata

Compile documents into a cited knowledge wiki. Retrieve evidence, query, and review via local MCP.

Developer ToolsAdded 3 weeks ago

YoAuto MCP

atomix-spec

Official YoAuto MCP gateway for vehicle search and marketplace workflows in Moldova.

Developer ToolsAdded 3 months ago

Add the badge to your site

Show visitors that Atomadic Forge is listed here — it’s also the link we check for a free listing.

Atomadic Forge — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-atomadictech-atomadic-forge?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Atomadic Forge — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Atomadic Forge — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-atomadictech-atomadic-forge?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.