Atomadic Forge is listed as active in the registry but did not answer our last check. 978 installs a week from pypi.
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
The linked repository no longer exists on GitHub — it was deleted or made private.
Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 4 min ago.
claude mcp add atomadic-forge --transport http https://forge.atomadic.tech/mcp
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}
[mcp_servers.atomadic-forge]
url = "https://forge.atomadic.tech/mcp"
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}
| URL | Transport | State | Latency | Checked |
|---|---|---|---|---|
| https://forge.atomadic.tech/mcp | streamable-http | answering | 303 ms | 4 min ago |
Answers built from our own checks of this server.