{"id":828157,"recorded_at":"2026-10-29T00:12:39.095234Z","observed_at":"2026-10-29T00:12:39.095178Z","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-28T23:42:45.669313Z","status":"active","statusChangedAt":"2026-10-28T23:42:45.669313Z","updatedAt":"2026-10-28T23:42:45.669313Z"}},"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.20.0"}],"repository":{"source":"github","url":"https://github.com/tuProlog/arg2p-kt"},"title":"Arg2P","version":"0.20.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":"371dea2cb248d6c6f84f51bee018be3971c11b8ffbc7ce4a7a612c0271112914","prev_id":null,"leaf":"0xfc06a0ebd9eba55f339c9496dc726a41ac0f6baf4ea2fab4bd2141da9757e743","leaf_text":"{\"body\":\"371dea2cb248d6c6f84f51bee018be3971c11b8ffbc7ce4a7a612c0271112914\",\"id\":828157,\"kind\":\"listing\",\"method\":\"sync.mcp_registry/1\",\"observed_us\":1793232759095178,\"prev\":null,\"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":["0xfc06357e4f1e2425373d5677da23551832563f85c18c2e2e7adde84440ef9e88","0x2b1050c7254f19026ce9fd452eda9879a954612e585a165a7e342b750eae143e","0x5b4060a30291611340ec92ba76a4f1e5ce512ffd86074940affc93c49518111e","0x3cfaf32a4ec25d9332bee14750c78a6f30b145029a583718c74328731b15ca81","0xbc4952b1f8e80a581f2c47b5adfe1977bc6a4302991fe6edc3923ebfde716e82","0x79f053ad5147cd22a1bb9de1f021a80af45aead093ceeb840eb37b875cea0632","0xa4ea325f487939865967c9626b7846066ffba64350f3d7e98c1c239b095197ad","0x6aa314c65dc218d22163e8eab1b7d7d6901e19d5167258416cbb158c7eb6796e","0x2806b4a3e2633346ff050f271be3285832e4b2e489bbebb4f2902d53f164da33","0x0c36f811cedc62c2fd9bc91bdf1d0ea440d99641704d4a153a0776d3ecee9b5b","0xac8595ce8ea805845af78ba6e359b7cd64e428e59f8e8db1f18f305e67801a51","0xdb76702465d9dcc18228c424b986c0d068605e407bc0698ac73f564044fa8c39","0x53bd5c3baafe91745ebff65c20addef2a0eec44e95ed2b7e15d2e7abd391cbca","0xf708469bc3aba85a4a4875a16834cb1ef22f7d55f1823cedb60f00dfa15f77df","0x1dd763930a8023065a24b676469b4f26d92a89cfe71226ced9df379f43ec0f0a","0x1597ec94933260048e5e583aff1ad0fd44cc49efcd0a994091ed5db4924d7b02","0xe01539ac4c9f9cdf265a9e5c6d99c8da11e70ff0c7175fb23e402d33b9d79785"]}