{"serverId":"mcp-registry/ai.specproof/specproof-mcp","history":[{"seq":14309,"logIndex":14308,"serverId":"mcp-registry/ai.specproof/specproof-mcp","manifestHash":"34f63684d7e208e5f09a1bfd5835c6bcb366b971908e14b526df91b4a6fffde4","prevHash":null,"toolCount":17,"observedAt":"2026-10-17T05:29:47.704Z","lastSeen":"2026-10-26T19:58:59.776Z","origin":"snapshot","leafHash":"803f80c340571c13068d654d6efe1555c632fd6fc6ffa73547fa075385bcb623","leafData":"{\"manifestHash\":\"34f63684d7e208e5f09a1bfd5835c6bcb366b971908e14b526df91b4a6fffde4\",\"observedAt\":\"2026-10-17T05:29:47.704Z\",\"prevHash\":null,\"seq\":14309,\"serverId\":\"mcp-registry/ai.specproof/specproof-mcp\",\"toolCount\":17,\"v\":1}","changes":null}]}