Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Setup
Choose your client, copy the config, then fill in any required environment variables.
Local
claude mcp add atomadic-forge -- uvx atomadic-forge~/.codex/config.toml
[mcp_servers.atomadic-forge]
command = "uvx"
args = ["atomadic-forge"]
# codex mcp add atomadic-forge -- uvx atomadic-forge~/.cursor/mcp.json
{
"mcpServers": {
"atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge"
]
}
}
}.vscode/mcp.json
{
"servers": {
"atomadic-forge": {
"type": "stdio",
"command": "uvx",
"args": [
"atomadic-forge"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge"
]
}
}
}Remote
claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp~/.codex/config.toml
[mcp_servers.atomadic-forge]
url = "https://forge.atomadic.tech/mcp"
# codex mcp add atomadic-forge --url https://forge.atomadic.tech/mcp~/.cursor/mcp.json
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}.vscode/mcp.json
{
"servers": {
"atomadic-forge": {
"type": "http",
"url": "https://forge.atomadic.tech/mcp"
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"atomadic-forge": {
"httpUrl": "https://forge.atomadic.tech/mcp"
}
}
}claude_desktop_config.json · Customize › Connectors › Add custom connector
{
"mcpServers": {
"atomadic-forge": {
"command": "npx",
"args": [
"-y",
"mcp-remote",
"https://forge.atomadic.tech/mcp"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}