{"id":989708,"recorded_at":"2026-10-29T03:12:45.637164Z","observed_at":"2026-10-29T03:12:45.637113Z","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-29T02:30:04.787201Z","status":"active","statusChangedAt":"2026-10-29T02:30:04.787201Z","updatedAt":"2026-10-29T02:30:04.787201Z"}},"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.0"}],"repository":{"source":"github","url":"https://github.com/tuProlog/arg2p-kt"},"title":"Arg2P","version":"0.21.0","websiteUrl":"https://tuprolog.github.io/arg2p-kt/"}},"source":"mcp_registry","summary":"Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results"},"body_sha256":"9eac3da877fa19b2e4ce713430741c7df44cefee249b099f04b358089ca99587","prev_id":828157,"leaf":"0x8e29a77cb72673e044758c9203bf330f83090ce4ee453f610e9cdc1988abd6b9","leaf_text":"{\"body\":\"9eac3da877fa19b2e4ce713430741c7df44cefee249b099f04b358089ca99587\",\"id\":989708,\"kind\":\"listing\",\"method\":\"sync.mcp_registry/1\",\"observed_us\":1793243565637113,\"prev\":828157,\"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":["0x8e296cdeb453ae4de79ed84fa99ec4b2f0fd7957da53ec5ac2135f83d94f3078","0x65f5c0b2bea9e74749c85ff18c1047fb2ba80a7e8f005898996d6382eed04ff8","0xbca8a1ff2e8e6c3153d8a5bfed2c3e62235c5d01593208efccf3763288133da8","0xf95b08524190639a6f2689b014f41f90c179995aca37f9486394ec1a8402c487","0x5f46eafca20edc4857c865f9b6851e71430d4d78e2784fbf59d77831fb2de8a1","0x4f3265da8524e332b143c99688cfad54cbc8b0af26021e3b04efd914d20f5727","0x09b2b79664f668ec0e3626b2393386955b67af69f733ef4be542e0c98eea8ccc","0x1f21c95b6bd8f7cbefccb6861e55ccc3520d3ccd62e84d6bac14342090b64e1c","0x26c5055deb4e1af7551273dc9ee4986d28fbe9fa570d2b5d4fd56ec734e70b30","0xd640096d9a952f164a96fe90e76f4100c308dd560a37742cda02bafc64613622","0x92897385e0e84347ea358eff1b1ac976f59420055c24e8125d49aef8f9776bd5","0x1d615b19c2c04fb6c9c677cece38f67ef7e6752f8b1383a6004cc0c2ad4916b2","0x63a21345a1456bb8748156be064b8f4fbf3ec1a36d6e9dfc0f579765a560fffc","0x2ec9677def553f2064a7e34081a129a91f7999a429ef2705c4c539a9602f3bbf","0x09d5ec1c01b0f087fe9f6cc95432188552da9adc88004aed57401ea49f2b56d4","0xe38dc587bc010668982bd78025ac33d7326ffc2587f2de00e848da2718907ecf","0xa1fa2e97e71ad6e802f325afd74bb7095901f2060529c9739182a1233f8804bc","0xe01539ac4c9f9cdf265a9e5c6d99c8da11e70ff0c7175fb23e402d33b9d79785"]}