Atomadic Forge MCP server

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

Category: Dev tools

● Offline, checked 294 min ago · 211 ms

Source: official MCP Registry entry io.github.atomadictech/atomadic-forge · repository

Direct MCP URL and setup

CLAUDE CODE

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

CURSOR / VS CODE (mcp.json)

{ "mcpServers": { "io-github-atomadictech-atomadic-forge": { "url": "https://forge.atomadic.tech/mcp" } } }