{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.atomadictech/aaaa-nexus","description":"Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.","title":"aaaa-nexus — Formally Verified AI Safety APIs","repository":{"url":"https://github.com/atomadictech/aaaa-nexus","source":"github"},"version":"0.4.0","websiteUrl":"https://aaaa-nexus.atomadictech.workers.dev","remotes":[{"type":"streamable-http","url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:41.381203Z","statusMessage":"Superseded by 0.5.0. Public repo: https://github.com/atomadictech/atomadic-mcp","publishedAt":"2026-04-07T18:09:21.225472Z","updatedAt":"2026-10-26T19:40:41.381203Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.atomadictech/aaaa-nexus","description":"44-tool MCP server for AI compliance and trust checks. Pay-per-call, no signup.","title":"aaaa-nexus - Verified AI Safety APIs","repository":{"url":"https://github.com/atomadictech/atomadic-mcp","source":"github"},"version":"0.5.0","websiteUrl":"https://aaaa-nexus.atomadictech.workers.dev","remotes":[{"type":"streamable-http","url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-26T19:40:19.221906Z","publishedAt":"2026-10-26T19:40:19.221906Z","updatedAt":"2026-10-26T19:40:19.221906Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.atomadictech/aaaa-nexus","description":"44-tool MCP server for AI compliance and trust checks. Pay-per-call, no signup.","title":"aaaa-nexus - Verified AI Safety APIs","repository":{"url":"https://github.com/atomadictech/atomadic-mcp","source":"github"},"version":"0.5.1","websiteUrl":"https://aaaa-nexus.atomadictech.workers.dev","remotes":[{"type":"streamable-http","url":"https://aaaa-nexus.atomadictech.workers.dev/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-27T01:25:49.256902Z","statusMessage":"Superseded by 0.5.2: 50-tool starter door at https://mcp.atomadic.tech/mcp/public","publishedAt":"2026-10-26T19:41:00.080368Z","updatedAt":"2026-10-27T01:25:49.256902Z","isLatest":false}}},{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.atomadictech/aaaa-nexus","description":"50 starter MCP tools for AI compliance and trust: identity, escrow, SLA, EU AI Act.","title":"Atomadic starter MCP (50 tools)","repository":{"url":"https://github.com/atomadictech/atomadic-mcp","source":"github"},"version":"0.5.2","websiteUrl":"https://atomadic.tech","remotes":[{"type":"streamable-http","url":"https://mcp.atomadic.tech/mcp/public"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-27T01:25:42.907372Z","publishedAt":"2026-10-27T01:25:42.907372Z","updatedAt":"2026-10-27T01:25:42.907372Z","isLatest":true}}},{"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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-07T22:11:38.281117Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-07T22:29:41.895519Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T02:30:43.125457Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T03:13:47.588082Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T03:38:34.014951Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T04:14:51.696538Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T05:15:19.933696Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T05:47:11.176033Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T06:05:59.894Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T08:00:22.658354Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T08:38:28.532162Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-02T09:44:55.851457Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T08:53:21.826783Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T09:14:48.293545Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T09:26:17.295885Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T09:44:30.19218Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T10:06:04.559698Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T11:07:44.68082Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T11:24:48.944804Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T12:05:01.45325Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T12:35:28.578743Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T13:07:43.787052Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T13:29:42.015164Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T13:59:30.742725Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T14:29:20.92305Z","updatedAt":"2026-10-26T19:40:48.023659Z","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":[{"type":"positional","value":"mcp"},{"type":"positional","value":"serve"}]}],"remotes":[{"type":"streamable-http","url":"https://forge.atomadic.tech/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"deprecated","statusChangedAt":"2026-10-26T19:40:48.023659Z","statusMessage":"Retired: forge.atomadic.tech/mcp returns 404 and the PyPI package is a retired shim. Live server: io.github.atomadictech/aaaa-nexus. Public repo: github.com/atomadictech/atomadic-mcp","publishedAt":"2026-05-08T14:48:56.088861Z","updatedAt":"2026-10-26T19:40:48.023659Z","isLatest":false}}}],"metadata":{"nextCursor":"io.github.atomadictech/atomadic-forge:0.73.0","count":30}}