{"id":1031000,"recorded_at":"2026-10-29T14:13:12.603926Z","observed_at":"2026-10-29T14:13:12.603867Z","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-29T14:08:35.923638Z","status":"active","statusChangedAt":"2026-10-29T14:08:35.923638Z","updatedAt":"2026-10-29T14:08:35.923638Z"}},"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.23.0"}],"repository":{"source":"github","url":"https://github.com/tuProlog/arg2p-kt"},"title":"Arg2P","version":"0.23.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":"79f8944f14905fab97137f638d41b4a1118d167a3ad187ac5b011fbbdf578c1d","prev_id":1012165,"leaf":"0xff0662d7911a4c73c9b338c6ba77775efbdc8dcda0922e6def6ad24e360abb0f","leaf_text":"{\"body\":\"79f8944f14905fab97137f638d41b4a1118d167a3ad187ac5b011fbbdf578c1d\",\"id\":1031000,\"kind\":\"listing\",\"method\":\"sync.mcp_registry/1\",\"observed_us\":1793283192603867,\"prev\":1012165,\"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":["0xff065677854a66d251cea13645e8468778ba94c4bdeae5ffe231a2331b132509","0xf6f01898de579d8e1134bb1cc096935f308736e5bb480ffbfc706a67f9a39098","0xc574c35b9445ad18eecd65064cddef29d031116e9c15a98ac2a57a2ee245484c","0x2ec291c146675cd2a163ce27c3d3eafddffecf24f996976335b1aa2e8b3cc126","0x0711dadb5a9d2c219c65f7691432e15724b3c73f67d9e3236d259b6d8f005a43","0x0e23c9e36a8e964b1c66f72450b784ba3408ef2d1244eca7d8fe722e8051ec34","0x28fcb99cbf19642f63a93cb7d128728d9ad690dfbf1dd3afe42fae823aa67844","0x0e08649863514df397bd60b569bf8f03005b05682a0104285dbcce75223b50f1","0xee8dcef322070316f9365221de7651b5efb1ff3b69679314afe31cc46ec54b2a","0xf76a3158aacd74b296720205ec4f26173deb44815d0c85455ac305b7c1d1cad2","0xb42af89b06148c65fa3840e6cddd4a34637baa9fbb4e2f2f9c0fcfceb03ad6a7","0xfbf2792cca7685956b30b6c58301376dd1e786a9c1377f6b152417d12e0b25de","0xf708469bc3aba85a4a4875a16834cb1ef22f7d55f1823cedb60f00dfa15f77df","0x1dd763930a8023065a24b676469b4f26d92a89cfe71226ced9df379f43ec0f0a","0x1597ec94933260048e5e583aff1ad0fd44cc49efcd0a994091ed5db4924d7b02","0xe01539ac4c9f9cdf265a9e5c6d99c8da11e70ff0c7175fb23e402d33b9d79785"]}