{"id":1012165,"recorded_at":"2026-10-29T10:13:03.846456Z","observed_at":"2026-10-29T10:13:03.846369Z","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-29T09:48:49.222519Z","status":"active","statusChangedAt":"2026-10-29T09:48:49.222519Z","updatedAt":"2026-10-29T09:48:49.222519Z"}},"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.22.0"}],"repository":{"source":"github","url":"https://github.com/tuProlog/arg2p-kt"},"title":"Arg2P","version":"0.22.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":"cced44c40e93078995f1b69ee348036e1d5e0786c19c34821f164a5ef998cf44","prev_id":1005161,"leaf":"0x4c62b6cea86d55053ee88a3d11f3334edc0265d707153ad19908813932423477","leaf_text":"{\"body\":\"cced44c40e93078995f1b69ee348036e1d5e0786c19c34821f164a5ef998cf44\",\"id\":1012165,\"kind\":\"listing\",\"method\":\"sync.mcp_registry/1\",\"observed_us\":1793268783846369,\"prev\":1005161,\"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":["0x4c62c56abe4cbd583fb1a0e9479250d113e78765d36a5913677570683d8a20b9","0xb801d7c88f5c8fb621f030bad5d9fdf7cc5d6ad1c346237a710553cf0df97e7b","0x4fda36085068d9ddf5265c2214f061ea64961636cdb2d8f1927715a6f46098c9","0x993dacf3102041515ed7f67597499cdd4ce4a65a8d6e8344316ab70e34976e16","0x6b351a3ef9b41f3527d8684ed2fd929136273e81e05e6ff428b431d8c35ba9b4","0xd41061f3bab575bfd88e830a44720f6f919ab4aa825aeab4f5a5b73aaa6f0116","0x8e609a9e04e4490346d3f44edb9372f8c3c880db9933be10105ec230c9d89532","0x32e93d2456c43190cfd962d19750d50b303a73431c131c7df2b56e2fd4e9fc1c","0x7254e728777dfa0aaa6fc237d0fdfa6cfac2fdeea3b1560ace7e346a4ca76aa8","0xf0e383f158a79226235b883b457ba7238a3980c073fd9819c5b0108432a6bd57","0xa28a702afa6dde42e7898bfdc0d2138bcb8228ab05ae0453a761af17afe314b6","0x67e9f947056da96126d9e1726e1fb4f2e7e79699a668a04b64a80a2142ffa546","0x631d9e4d32a0770b1547484c1f6ccb27bbc012377527b96eadfe1ed1aad5997e","0xba203712cc4170d9697121c2026471be02b4061fd0831c90d2971031c905f0c1","0x0bc4adb5c11d6f42a54004eb9a86e4a9294c3fb793d78af72f971454ecfe5b44","0x976395aaca1b771b7e37710dee4157412909d2398c44e306a2e1e3fe83b984fd","0x91f12a2db1e2c1be07cbe4de3981a37a33051a36d3c3eee5a260804add6d1d75","0xd56e61af23709ed9f460471e3c08400c0142ee83e1fd9057e46350d12edf9c07"]}