{"id":1005161,"recorded_at":"2026-10-29T08:12:58.616705Z","observed_at":"2026-10-29T08:12:58.616642Z","subject_kind":"source_record","subject":"mcp_registry:io.github.tuProlog/arg2p","kind":"listing","method":"sync.mcp_registry/1","body":{"endpoints":[["web","https://tuprolog.github.io/arg2p-kt/"]],"name":"Arg2P","owner_address":null,"raw":{"_meta":{"io.modelcontextprotocol.registry/official":{"isLatest":true,"publishedAt":"2026-10-29T07:25:30.88914Z","status":"active","statusChangedAt":"2026-10-29T07:25:30.88914Z","updatedAt":"2026-10-29T07:25:30.88914Z"}},"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","description":"Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results","name":"io.github.tuProlog/arg2p","packages":[{"identifier":"arg2p","packageArguments":[{"type":"positional","value":"mcp"}],"registryType":"pypi","runtimeHint":"uvx","transport":{"type":"stdio"},"version":"0.21.1"}],"repository":{"source":"github","url":"https://github.com/tuProlog/arg2p-kt"},"title":"Arg2P","version":"0.21.1","websiteUrl":"https://tuprolog.github.io/arg2p-kt/"}},"source":"mcp_registry","summary":"Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results"},"body_sha256":"14f35a8e2cb167452cb4b5ff8068564dcdda47beada4cbd65d6c704369076892","prev_id":989708,"leaf":"0xd6fb08704e60cd84bfac3343d45a963220d71164f8d8af00d37a2a15efa00780","leaf_text":"{\"body\":\"14f35a8e2cb167452cb4b5ff8068564dcdda47beada4cbd65d6c704369076892\",\"id\":1005161,\"kind\":\"listing\",\"method\":\"sync.mcp_registry/1\",\"observed_us\":1793261578616642,\"prev\":989708,\"subject\":\"mcp_registry:io.github.tuProlog/arg2p\",\"subject_kind\":\"source_record\"}","day":{"day":"2026-10-29","leaves":242798,"root":"0xc050555c6b023f2aefb6536efb9f0760b92c30a0d06c572b7daf63db259ea17c","chained":"0x4cde8bae2042512e1bec11650628f0293556311cc4ea74d99ffddf02b671a7d6","anchor_chain":"eip155:5042002","anchor_tx":"0x9e85c340732f416e431b111fae72f7624870125f7f379af2732eb6c2ba8cf6a1","anchor_block":69753317},"proof":["0xd6fb33b3b62cc1b2185e26c40627816a54014bb7a9f47cf45cd452cfba2d805a","0x9dce3cf889a924d4fdd48fa9ed1fa071f0c342762c2cfd89903b26f7b3342c96","0xc4f698975f6ee72b390c2a29489682e95f17e62f00340e14c19cb6f07c12a402","0x2671a4ba860076d34411175759991d5db5b4a9a544b1ff4016e0b0393d573a2e","0x0f74dd5b4e2e84174549ec27d554a77d6580f41166895b4012cd19f427da374b","0xf7e5f68066313e6b339f768a40ed847f442745cebb1b5de2f14371b262751488","0xb03fdb506d9a9daf23251db36e02791fb86762fda3fce7ae014be60a7ded99cf","0x6b3e96fee8cf1f7a0cb0ea7c05e662da5e67ff0c739dc47e5bd18c46e5e631fd","0x0eeb0053821fe716c733460ab420b82198deb32d22eadd4712eea52f781f631a","0x2b546ad49994db3a8014586ab6ccc4fed6ae584971227a9bf93a9e016cb91482","0xf1f5009d9e40b003e9b0788065cc580864e54453f26b33feec2d61603db5de93","0x3733d7c697359c00475e755c4c6b73ba0c090f0cdd072407c97973821fdf2fb3","0xfe28e9e98d6dfa695fe78aeee74c827cd30eb7ca9245a239277f9fb4e1ff47a1","0xc5f320d911e4e74a5ef306d3473fe072ea90372c9b9d8902795503f6d18cc307","0xa7d3fa0a08edea990614977b51a6b3289c357a88d8ca06dcbfe67415a017c0e7","0xa034ebc8d117fbf1ed466b70baa0478bf213b743e1a41cba1d2da7a9f310184d","0x1597ec94933260048e5e583aff1ad0fd44cc49efcd0a994091ed5db4924d7b02","0xe01539ac4c9f9cdf265a9e5c6d99c8da11e70ff0c7175fb23e402d33b9d79785"]}