{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.atomadictech/atomadic-forge","description":"Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.87.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.87.0","runtimeHint":"forge","transport":{"type":"stdio"},"packageArguments":[{"value":"mcp","type":"positional"},{"value":"serve","type":"positional"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-05-11T22:01:27.517007Z","publishedAt":"2026-05-11T22:01:27.517007Z","updatedAt":"2026-05-11T22:01:27.517007Z","isLatest":true}}}