tugrapaydiner.github.io WebMCP Tools, Schemas & Agent Capabilities

← WebMCP Directory

tugrapaydiner.github.io

live Unverified (seed import) AI & Agents 4 tools imperative implementation

Open website How verification works

Minimal Protocol Witness

First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com

Answer 2 · Act 2 · Transact 0 · Score: Not yet scored

Tool inspector

verify_witness

act imperative

Checks every exposed protocol subset and determines whether a proposed candidate reproduces the other lab's conclusion with globally minimum cardinality. Returns all co-minimum witnesses and a request-bound certificate only on VERIFIED.

Page: /mpw/

Input schema

Property	Type	Required	Description
`disputeId`	string	no	dispute id from read_dispute; omit to use the single canonical dispute
`baseLab`	string	yes	lab whose protocol is the starting point; the target conclusion is always the other lab's
`candidate`	array	yes	proposed witness subset; empty is a legal vacuous check: exposed protocol dimension: reasoning_budget (thinking effort per item), answer_parser (strictness of answer parsing), retry_policy (whether one retry is allowed), tool_access (breadth of tool use)

Raw JSON schema

{
  "type": "object",
  "properties": {
    "disputeId": {
      "type": "string",
      "description": "dispute id from read_dispute; omit to use the single canonical dispute"
    },
    "baseLab": {
      "type": "string",
      "description": "lab whose protocol is the starting point; the target conclusion is always the other lab's",
      "enum": [
        "A",
        "B"
      ]
    },
    "candidate": {
      "type": "array",
      "description": "proposed witness subset; empty is a legal vacuous check: exposed protocol dimension: reasoning_budget (thinking effort per item), answer_parser (strictness of answer parsing), retry_policy (whether one retry is allowed), tool_access (breadth of tool use)",
      "items": {
        "type": "string",
        "enum": [
          "answer_parser",
          "reasoning_budget",
          "retry_policy",
          "tool_access"
        ]
      },
      "minItems": 0,
      "maxItems": 4,
      "uniqueItems": true
    }
  },
  "required": [
    "baseLab",
    "candidate"
  ],
  "additionalProperties": false
}