{"serverId":"mcp-registry/io.github.neus/neus-mcp","history":[{"seq":20669,"logIndex":20668,"serverId":"mcp-registry/io.github.neus/neus-mcp","manifestHash":"91e251f30b73907c5830b40d3b2160c2eb309515470ff1ac0c99f6fd13296067","prevHash":"52891c1af7a811fb86c6a7d28d2399df648445ed28340791137d5e14faec1dbd","toolCount":4,"observedAt":"2026-10-18T06:39:03.038Z","lastSeen":"2026-10-24T15:01:50.853Z","origin":"probe","leafHash":"5096bf77e35d963a1fcdfa3b5067e2e2bca6b337d5c190bc6c6196c400ebef62","leafData":"{\"manifestHash\":\"91e251f30b73907c5830b40d3b2160c2eb309515470ff1ac0c99f6fd13296067\",\"observedAt\":\"2026-10-18T06:39:03.038Z\",\"prevHash\":\"52891c1af7a811fb86c6a7d28d2399df648445ed28340791137d5e14faec1dbd\",\"seq\":20669,\"serverId\":\"mcp-registry/io.github.neus/neus-mcp\",\"toolCount\":4,\"v\":1}","changes":{"added":[],"removed":[],"changed":["proofable_proofs_check"]}},{"seq":20642,"logIndex":20641,"serverId":"mcp-registry/io.github.neus/neus-mcp","manifestHash":"52891c1af7a811fb86c6a7d28d2399df648445ed28340791137d5e14faec1dbd","prevHash":"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76","toolCount":4,"observedAt":"2026-10-18T06:31:14.676Z","lastSeen":"2026-10-18T06:31:14.676Z","origin":"probe","leafHash":"8506854dc3f60add351fed854f8bd5f87d4e83f55a3eb03c62cc29cc81113d4e","leafData":"{\"manifestHash\":\"52891c1af7a811fb86c6a7d28d2399df648445ed28340791137d5e14faec1dbd\",\"observedAt\":\"2026-10-18T06:31:14.676Z\",\"prevHash\":\"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76\",\"seq\":20642,\"serverId\":\"mcp-registry/io.github.neus/neus-mcp\",\"toolCount\":4,\"v\":1}","changes":{"added":[],"removed":[],"changed":["proofable_context","proofable_proofs_check","proofable_verifiers_catalog","proofable_verify_or_guide"]}},{"seq":5026,"logIndex":5025,"serverId":"mcp-registry/io.github.neus/neus-mcp","manifestHash":"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76","prevHash":null,"toolCount":4,"observedAt":"2026-10-17T05:28:37.444Z","lastSeen":"2026-10-17T05:28:37.444Z","origin":"snapshot","leafHash":"56405458fc8c0ebb594a37ed98a1e31e035533264478ba311346b4bccddcac0e","leafData":"{\"manifestHash\":\"e5ea7f645353321ed9665dee3ff2400efb54ecc90bc057d68b0602f8b564ff76\",\"observedAt\":\"2026-10-17T05:28:37.444Z\",\"prevHash\":null,\"seq\":5026,\"serverId\":\"mcp-registry/io.github.neus/neus-mcp\",\"toolCount\":4,\"v\":1}","changes":null}]}