{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json","_meta":{"io.mcpregistry/tags":[],"io.mcpregistry/tools":[],"io.mcpregistry/transport":"streamable-http"},"description":"Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.","name":"io.github.atomadictech/atomadic-forge","packages":[{"environmentVariables":[],"identifier":"atomadic-forge","registryType":"pypi","transport":{"type":"stdio"},"version":"0.87.0"}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}],"repository":{"source":"github","url":"https://github.com/atomadictech/atomadic-forge"},"title":"Atomadic Forge","version":"0.87.0","websiteUrl":"https://forge.atomadic.tech"},"_meta":{"io.mcpregistry/official":{"status":"active","origin":"official","updated_at":"2026-09-15T03:58:32Z","synced_at":"2026-09-22T03:57:44.503431Z","is_latest":true,"published_at":"2026-09-15T03:58:32Z"}}}