{"serverId":"mcp-registry/io.github.proofable/mcp","history":[{"seq":20665,"logIndex":20664,"serverId":"mcp-registry/io.github.proofable/mcp","manifestHash":"91e251f30b73907c5830b40d3b2160c2eb309515470ff1ac0c99f6fd13296067","prevHash":"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76","toolCount":4,"observedAt":"2026-10-18T06:38:56.766Z","lastSeen":"2026-10-26T23:36:44.621Z","origin":"probe","leafHash":"50594652fd0280ab335025fd19f31550742fc387642bdd2a5ae4d29e5ed25dad","leafData":"{\"manifestHash\":\"91e251f30b73907c5830b40d3b2160c2eb309515470ff1ac0c99f6fd13296067\",\"observedAt\":\"2026-10-18T06:38:56.766Z\",\"prevHash\":\"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76\",\"seq\":20665,\"serverId\":\"mcp-registry/io.github.proofable/mcp\",\"toolCount\":4,\"v\":1}","changes":{"added":[],"removed":[],"changed":["proofable_context","proofable_proofs_check","proofable_verifiers_catalog","proofable_verify_or_guide"]}},{"seq":10187,"logIndex":10186,"serverId":"mcp-registry/io.github.proofable/mcp","manifestHash":"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76","prevHash":null,"toolCount":4,"observedAt":"2026-10-17T05:29:20.924Z","lastSeen":"2026-10-17T05:29:20.924Z","origin":"snapshot","leafHash":"82502df0e5665bd077d77ade9a62e78ae30226079730604e38aa9f4dd2c42f08","leafData":"{\"manifestHash\":\"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76\",\"observedAt\":\"2026-10-17T05:29:20.924Z\",\"prevHash\":null,\"seq\":10187,\"serverId\":\"mcp-registry/io.github.proofable/mcp\",\"toolCount\":4,\"v\":1}","changes":null}]}