Atomadic Forge MCP Server
by atomadictechio.github.atomadictech/atomadic-forgev0.87.0
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
context tax
queued
security
queued
cold start
queued
freshness
Slowing5mo ago
Install Atomadic Forge MCP server
Install in Claude Code
claude mcp add atomadic-forge -- uvx atomadic-forge mcp serveInstall in Cursor
{
"mcpServers": {
"atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"atomadic-forge": {
"type": "stdio",
"command": "uvx",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"atomadic-forge": {
"command": "uvx",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Remote endpoints
- streamable-http
https://forge.atomadic.tech/mcp
Freshness
Slowing — last maintenance signal 5mo ago. The newest of the signals below sets the band.
Last commit (default branch)
no data · GitHub
Latest release
no data · GitHub
Package published
no data · npm/PyPI
Registry entry updated
2026-05-11 · 5mo ago · official registry · v0.87.0
FAQ
›How do I install the Atomadic Forge MCP server in Claude Code?
Run: claude mcp add atomadic-forge -- uvx atomadic-forge mcp serve. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Atomadic Forge require an API key?
No required environment variables are declared in its published metadata.
›Can I use Atomadic Forge as a remote (hosted) MCP server?
Yes — it offers both a hosted endpoint and a local stdio package.
›Is Atomadic Forge in the official MCP registry?
Yes, as io.github.atomadictech/atomadic-forge.