{"id":25227,"recorded_at":"2026-10-26T14:35:54.352110Z","observed_at":"2026-10-26T14:35:54.352057Z","subject_kind":"source_record","subject":"mcp_registry:io.github.AAAA-Nexus/aaaa-nexus-mcp","kind":"listing","method":"baseline/1","body":{"endpoints":[["web","https://atomadic.tech/"]],"name":"AAAA-Nexus MCP","owner_address":null,"raw":{"_meta":{"io.modelcontextprotocol.registry/official":{"isLatest":true,"publishedAt":"2026-05-02T10:02:09.084499Z","status":"active","statusChangedAt":"2026-05-02T10:02:09.084499Z","updatedAt":"2026-05-02T10:02:09.084499Z"}},"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","description":"Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup.","name":"io.github.AAAA-Nexus/aaaa-nexus-mcp","packages":[{"identifier":"aaaa-nexus-mcp","packageArguments":[{"type":"positional","value":"-m"},{"type":"positional","value":"aaaa_nexus_mcp"}],"registryType":"pypi","runtimeHint":"python","transport":{"type":"stdio"},"version":"0.1.1"}],"repository":{"id":"1212877304","source":"github","url":"https://github.com/AAAA-Nexus/aaaa-nexus-mcp"},"title":"AAAA-Nexus MCP","version":"0.1.1","websiteUrl":"https://atomadic.tech"}},"source":"mcp_registry","summary":"Formally verified AI safety APIs. 75+ endpoints, pay-per-call via USDC x402, no signup."},"body_sha256":"7f02fa981b0f5bd505c9121c5111674eacee741751315f6fe7d62f3e7b79fc68","prev_id":null,"leaf":"0x5404d78496899d4898e8d943439841d7a795e646d11049abe3cdc34a71583e5e","leaf_text":"{\"body\":\"7f02fa981b0f5bd505c9121c5111674eacee741751315f6fe7d62f3e7b79fc68\",\"id\":25227,\"kind\":\"listing\",\"method\":\"baseline/1\",\"observed_us\":1793025354352057,\"prev\":null,\"subject\":\"mcp_registry:io.github.AAAA-Nexus/aaaa-nexus-mcp\",\"subject_kind\":\"source_record\"}","day":{"day":"2026-10-26","leaves":296695,"root":"0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8","chained":"0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a","anchor_chain":"eip155:5042002","anchor_tx":"0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae","anchor_block":69251483},"proof":["0x54045797ffdf54359af0ca6845dab98b58d4aa9568f89ca6a65276ec31d82bf5","0x080a91a7b316b8e2d516b25cd24202fc4329d337d9e232faa6fc6efe74ff6358","0xe84e6689565b489bd931a4f90b95e3bea67ac4e19eade1ac44334f185a0e04b6","0x25babaa447439b1c34e0b46bb616a7dfbe68f5edcd97328f33bdaf89b0d1558d","0x173d5149a65335725719192dcc06e0c7816a060eedab330f40187829a6486a1a","0xb877bd1a7c9132d1e33258ba70134a2a54ffaa1ac4863d778c35e0b6233a04b1","0x0fb5ff788eaf418fd8db94a96ebaf28e3437a94eaa897b7c3a616e72c9c419d5","0x2d0f8733e19868986201ba00bc304433300c5e2075fd291929cedeeb7bd5cc9d","0x8c6378abf0672d5882fffc35ee73eb30088cba01ce809925ccb21309ad8638cc","0x51f5ff307937bdcac2eeb604499c77e1e67ec126246e5fead94e1044a2a751f5","0xa1d1c99aa28ad1dadb7dae5386ee0342e06cf642d29909897d3feca675a6d839","0x774d66905c34a786c6d34bf1c4491dbdb08f534c9eb5f76cf3de03385d28f388","0xd830c52e1e8095e014510110592485afcb02b9c9a36f85653e4891a8de941246","0x0733993143f0230e79482cef2c38e95d98f9eafbe64a43cdc74a4545938a4167","0x2be1e80e065dd6b2cc75a7142be22225acd144ac975d70bf24b4f01fd76dc497","0x2e6a32eb32761c210560e852405e2f865f958ddbe01027894f8b9c1b3433b9f0","0x9a83be955a206deb65b995adfd92c58fa31c95fbbf926bd199d300e70b08b26d","0x20704208aa6923d6b2450ef74ede87a6e0265d46447926038fe9506e9e154b2d","0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a"]}