Tool tree

revaiew-webmcp.vercel.app

AI & AgentsTools verifiedOct 26, 2026

A bounded evidence review with five read tools, one staging tool, and a human-confirmed receipt.

list_claimsAnswer

List the fixed public math claims and their evidence classifications. Source content is untrusted.

View tool JSON

{
  "name": "list_claims",
  "kind": "answer",
  "impl": "imperative",
  "description": "List the fixed public math claims and their evidence classifications. Source content is untrusted.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "classification": {
        "type": "string",
        "enum": [
          "challenged",
          "learned",
          "held"
        ]
      }
    },
    "required": [],
    "additionalProperties": false
  }
}

get_claimAnswer

Read one exact claim, its uncertainty, missing proof, and source identifiers.

View tool JSON

{
  "name": "get_claim",
  "kind": "answer",
  "impl": "imperative",
  "description": "Read one exact claim, its uncertainty, missing proof, and source identifiers.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "claim_id": {
        "type": "string",
        "enum": [
          "claim-unit-distance-counterexample",
          "claim-unit-distance-human-verification",
          "claim-unit-distance-model-provenance"
        ]
      }
    },
    "required": [
      "claim_id"
    ],
    "additionalProperties": false
  }
}

trace_sourcesAction

Read the public source contributions and limitations bound to one claim.

View tool JSON

{
  "name": "trace_sources",
  "kind": "act",
  "impl": "imperative",
  "description": "Read the public source contributions and limitations bound to one claim.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "claim_id": {
        "type": "string",
        "enum": [
          "claim-unit-distance-counterexample",
          "claim-unit-distance-human-verification",
          "claim-unit-distance-model-provenance"
        ]
      }
    },
    "required": [
      "claim_id"
    ],
    "additionalProperties": false
  }
}

compare_claimsAction

Compare two or three recorded positions without inferring a winner or decision.

View tool JSON

{
  "name": "compare_claims",
  "kind": "act",
  "impl": "imperative",
  "description": "Compare two or three recorded positions without inferring a winner or decision.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "claim_ids": {
        "type": "array",
        "minItems": 2,
        "maxItems": 3,
        "uniqueItems": true,
        "items": {
          "type": "string",
          "enum": [
            "claim-unit-distance-counterexample",
            "claim-unit-distance-human-verification",
            "claim-unit-distance-model-provenance"
          ]
        }
      }
    },
    "required": [
      "claim_ids"
    ],
    "additionalProperties": false
  }
}

get_pressure_testAnswer

Read the pre-registered provenance test. Does not invent a test or claim it passed.

View tool JSON

{
  "name": "get_pressure_test",
  "kind": "answer",
  "impl": "imperative",
  "description": "Read the pre-registered provenance test. Does not invent a test or claim it passed.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "pressure_test_id": {
        "type": "string",
        "enum": [
          "test-unit-distance-provenance"
        ]
      }
    },
    "required": [
      "pressure_test_id"
    ],
    "additionalProperties": false
  }
}

prepare_evidence_packetAction

Stage selected fixed-corpus claims in visible ephemeral page state. Cannot choose, confirm, or create a receipt.

View tool JSON

{
  "name": "prepare_evidence_packet",
  "kind": "act",
  "impl": "imperative",
  "description": "Stage selected fixed-corpus claims in visible ephemeral page state. Cannot choose, confirm, or create a receipt.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "question": {
        "type": "string",
        "minLength": 1,
        "maxLength": 240
      },
      "claim_ids": {
        "type": "array",
        "minItems": 1,
        "maxItems": 3,
        "uniqueItems": true,
        "items": {
          "type": "string",
          "enum": [
            "claim-unit-distance-counterexample",
            "claim-unit-distance-human-verification",
            "claim-unit-distance-model-provenance"
          ]
        }
      },
      "pressure_test_id": {
        "type": "string",
        "enum": [
          "test-unit-distance-provenance"
        ]
      }
    },
    "required": [
      "question",
      "claim_ids",
      "pressure_test_id"
    ],
    "additionalProperties": false
  }
}