addrbookFor publishers
← The evidence ledger

Evidence row 1031000

Observed , by sync.mcp_registry/1.

Kind
listing
About
source_record mcp_registry:io.github.tuProlog/arg2p
Recorded
Previous row
#1012165
Body SHA-256
79f8944f14905fab97137f638d41b4a1118d167a3ad187ac5b011fbbdf578c1d
Leaf
0xff0662d7911a4c73c9b338c6ba77775efbdc8dcda0922e6def6ad24e360abb0f

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-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"
}

What the leaf hashes

{"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"}

Proof

Its day has not closed yet. A day closes ten minutes after midnight UTC; the proof appears here then.

How to check it · This row as JSON