← The evidence ledger
Evidence row 828157
Observed , by sync.mcp_registry/1.
- Kind
- listing
- About
- source_record mcp_registry:io.github.tuProlog/arg2p
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 371dea2cb248d6c6f84f51bee018be3971c11b8ffbc7ce4a7a612c0271112914
- Leaf
- 0xfc06a0ebd9eba55f339c9496dc726a41ac0f6baf4ea2fab4bd2141da9757e743
What was observed
{
"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"
}What the leaf hashes
{"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"}Proof
Its day has not closed yet. A day closes ten minutes after midnight UTC; the proof appears here then.