Architecture compiler for AI code. tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Use this profile to copy client config, check auth requirements, review tools and resources, and compare related MCP servers before adding it to an AI client.
https://forge.atomadic.tech/mcpuvx atomadic-forgeAdd this server entry to the mcpServers object in your Claude Desktop config, then restart the app.
{
"mcpServers": {
"io-github-atomadictech-atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge"
]
}
}
}~/Library/Application Support/Claude/claude_desktop_config.json%APPDATA%\Claude\claude_desktop_config.jsonNo remote HTTP endpoint is advertised. Use the package or stdio setup shown in Install.
Atomadic Forge is an MCP server for Architecture compiler for AI code. tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.. It supports STDIO, HTTP transport.
Use the generated config in Install. This server runs with uvx atomadic-forge; add any required environment variables before starting your client.
Choose the Claude Desktop tab in Install, copy the config, and add it to Claude Desktop's MCP server settings. Endpoint: https://forge.atomadic.tech/mcp.
Choose the Claude Code tab in Install, copy the config, and add it to Claude Code's MCP server settings. Endpoint: https://forge.atomadic.tech/mcp.
Choose the Codex tab in Install, copy the config, and add it to Codex's MCP server settings. Endpoint: https://forge.atomadic.tech/mcp.
Choose the Cursor or VS Code tab in Install, copy the config, and add it to Cursor or VS Code's MCP server settings. Endpoint: https://forge.atomadic.tech/mcp.
Atomadic Forge uses STDIO, HTTP transport. Endpoint: https://forge.atomadic.tech/mcp.
Atomadic Forge inventory is listed when the MCP endpoint exposes tools, resources, or prompts. Some servers require auth first.
Atomadic Forge does not advertise a verified auth requirement. If discovery fails, it may still need provider login, an API key, a bearer token, or a session header.
| Package | Registry | Version | Inputs |
|---|---|---|---|
atomadic-forgestdio | pypi | 0.87.0 | None advertised |