All servers · Code & repositories
Atomadic Forge
io.github.atomadictech/atomadic-forge · v0.87.0
No registry update 90+ days
Measured by MCP Station
| Last check | Not reachable |
|---|---|
| Checked at | — |
| Check success 7 / 30 days | — |
| First-try success 30 days | — |
| Median response | — |
| Lookups 30 days | — |
| Authentication | — |
| MCP version | — |
| Rank score | — |
| Declared risk | Unknown (tools not visible) |
| Capabilities declared | — |
| Tool definitions | Not visible (tools were not listed) |
Description written by the publisher, not verified
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Connect
streamable-http · https://forge.atomadic.tech/mcp
claude mcp add --transport http atomadic-forge https://forge.atomadic.tech/mcp{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}Tools
Not listed: the server was not reachable at the last check.
Repository · Website · JSON · Text for agents · Registry updated 2026-05-11