{"servers":[{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.51.1","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.51.1","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-07T22:11:38.281117Z","publishedAt":"2026-05-07T22:11:38.281117Z","updatedAt":"2026-05-07T22:11:38.281117Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.51.6","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.51.6","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-07T22:29:41.895519Z","publishedAt":"2026-05-07T22:29:41.895519Z","updatedAt":"2026-05-07T22:29:41.895519Z","isLatest":false}}},{"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. 10 tools, 64 actions, 0 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.52.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.52.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-08T02:30:43.125457Z","publishedAt":"2026-05-08T02:30:43.125457Z","updatedAt":"2026-05-08T02:30:43.125457Z","isLatest":false}}},{"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. 10 tools, 64 actions, 0 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.52.1","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.52.1","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-08T03:13:47.588082Z","publishedAt":"2026-05-08T03:13:47.588082Z","updatedAt":"2026-05-08T03:13:47.588082Z","isLatest":false}}},{"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. 10 tools, 66 actions, 0 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.53.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.53.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-08T03:38:34.014951Z","publishedAt":"2026-05-08T03:38:34.014951Z","updatedAt":"2026-05-08T03:38:34.014951Z","isLatest":false}}},{"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. 10 tools, 76 actions, 0 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.54.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.54.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-08T04:14:51.696538Z","publishedAt":"2026-05-08T04:14:51.696538Z","updatedAt":"2026-05-08T04:14:51.696538Z","isLatest":false}}},{"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. 10 tools, 79 actions, 0 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.56.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.56.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-08T05:15:19.933696Z","publishedAt":"2026-05-08T05:15:19.933696Z","updatedAt":"2026-05-08T05:15:19.933696Z","isLatest":false}}},{"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. 10 tools, 79 actions, 0 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.57.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.57.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-08T05:47:11.176033Z","publishedAt":"2026-05-08T05:47:11.176033Z","updatedAt":"2026-05-08T05:47:11.176033Z","isLatest":false}}},{"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. 10 tools, 79 actions, 0 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.57.1","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.57.1","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-08T06:05:59.894Z","publishedAt":"2026-05-08T06:05:59.894Z","updatedAt":"2026-05-08T06:05:59.894Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.58.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.58.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-08T08:00:22.658354Z","publishedAt":"2026-05-08T08:00:22.658354Z","updatedAt":"2026-05-08T08:00:22.658354Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.59.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.59.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-08T08:38:28.532162Z","publishedAt":"2026-05-08T08:38:28.532162Z","updatedAt":"2026-05-08T08:38:28.532162Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.atomadictech/atomadic-forge","description":"Architecture compiler for AI codebases. 5-tier enforcement, 21 tools, 100/100 certify score.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github","id":"1222854528"},"version":"0.6.1","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.6.1","runtimeHint":"forge","transport":{"type":"stdio"},"packageArguments":[{"value":"mcp","type":"positional"},{"value":"serve","type":"positional"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-05-02T09:44:55.851457Z","publishedAt":"2026-05-02T09:44:55.851457Z","updatedAt":"2026-05-02T09:44:55.851457Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.60.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.60.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-08T08:53:21.826783Z","publishedAt":"2026-05-08T08:53:21.826783Z","updatedAt":"2026-05-08T08:53:21.826783Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.61.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.61.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-08T09:14:48.293545Z","publishedAt":"2026-05-08T09:14:48.293545Z","updatedAt":"2026-05-08T09:14:48.293545Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.62.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.62.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-08T09:26:17.295885Z","publishedAt":"2026-05-08T09:26:17.295885Z","updatedAt":"2026-05-08T09:26:17.295885Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.63.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.63.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-08T09:44:30.19218Z","publishedAt":"2026-05-08T09:44:30.19218Z","updatedAt":"2026-05-08T09:44:30.19218Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.64.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.64.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-08T10:06:04.559698Z","publishedAt":"2026-05-08T10:06:04.559698Z","updatedAt":"2026-05-08T10:06:04.559698Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.65.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.65.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-08T11:07:44.68082Z","publishedAt":"2026-05-08T11:07:44.68082Z","updatedAt":"2026-05-08T11:07:44.68082Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.66.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.66.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-08T11:24:48.944804Z","publishedAt":"2026-05-08T11:24:48.944804Z","updatedAt":"2026-05-08T11:24:48.944804Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.67.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.67.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-08T12:05:01.45325Z","publishedAt":"2026-05-08T12:05:01.45325Z","updatedAt":"2026-05-08T12:05:01.45325Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.68.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.68.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-08T12:35:28.578743Z","publishedAt":"2026-05-08T12:35:28.578743Z","updatedAt":"2026-05-08T12:35:28.578743Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.69.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.69.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-08T13:07:43.787052Z","publishedAt":"2026-05-08T13:07:43.787052Z","updatedAt":"2026-05-08T13:07:43.787052Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.70.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.70.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-08T13:29:42.015164Z","publishedAt":"2026-05-08T13:29:42.015164Z","updatedAt":"2026-05-08T13:29:42.015164Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.71.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.71.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-08T13:59:30.742725Z","publishedAt":"2026-05-08T13:59:30.742725Z","updatedAt":"2026-05-08T13:59:30.742725Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.72.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.72.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-08T14:29:20.92305Z","publishedAt":"2026-05-08T14:29:20.92305Z","updatedAt":"2026-05-08T14:29:20.92305Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.73.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.73.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-08T14:48:56.088861Z","publishedAt":"2026-05-08T14:48:56.088861Z","updatedAt":"2026-05-08T14:48:56.088861Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.74.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.74.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-08T15:17:21.948592Z","publishedAt":"2026-05-08T15:17:21.948592Z","updatedAt":"2026-05-08T15:17:21.948592Z","isLatest":false}}},{"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. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.75.0","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.75.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-08T15:47:39.153335Z","publishedAt":"2026-05-08T15:47:39.153335Z","updatedAt":"2026-05-08T15:47:39.153335Z","isLatest":false}}},{"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. 10 tools, 112 actions, 872 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.75.1","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.75.1","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-08T17:45:03.336121Z","publishedAt":"2026-05-08T17:45:03.336121Z","updatedAt":"2026-05-08T17:45:03.336121Z","isLatest":false}}},{"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. 10 tools, 112 actions, 872 Lean4 proofs, 100/100 self-cert.","title":"Atomadic Forge","repository":{"url":"https://github.com/atomadictech/atomadic-forge","source":"github"},"version":"0.75.2","websiteUrl":"https://forge.atomadic.tech","packages":[{"registryType":"pypi","identifier":"atomadic-forge","version":"0.75.2","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-08T17:47:37.408078Z","publishedAt":"2026-05-08T17:47:37.408078Z","updatedAt":"2026-05-08T17:47:37.408078Z","isLatest":false}}}],"metadata":{"nextCursor":"io.github.atomadictech/atomadic-forge:0.75.2","count":30}}