by42ppcrps-dev.github.io WebMCP Tools, Schemas & Agent Capabilities

by42ppcrps-dev.github.io

live Unverified (seed import) Productivity & Business 3 tools imperative implementation

ClauseProof runs two readings of the same contract clause against the same facts, shows the money gap, and lets a browser agent propose and repair a fix that must pass deterministic tests before a…

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

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

Tool inspector

set_scenario_facts

act imperative

What-if: replace the scenario facts (monthly uptime list, fee, months remaining, notice and cure dates) before the person locks intent. If both readings are staged and executed, the page re-runs them on the new facts and returns the new divergence. Use for questions like 'what if March also missed?'. The page performs every calculation.

Page: /clauseproof/

Input schema

Property	Type	Required	Description
`baseRevision`	integer	yes	The current revision returned by inspect_contract_case.
`scenario`	object	yes	The complete replacement facts. Start from the current scenario in inspect_contract_case and change only what the what-if question needs.
`rationale`	string	yes	The what-if question these facts answer.

Raw JSON schema

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "properties": {
    "baseRevision": {
      "type": "integer",
      "minimum": 0,
      "maximum": 9007199254740991,
      "description": "The current revision returned by inspect_contract_case."
    },
    "scenario": {
      "type": "object",
      "properties": {
        "monthlyFeeCents": {
          "type": "integer",
          "minimum": 0,
          "maximum": 9007199254740991,
          "description": "Monthly fee in integer cents; 1000000 means $10,000."
        },
        "monthsRemaining": {
          "type": "integer",
          "minimum": 0,
          "maximum": 120,
          "description": "Months left on the term. Future fees at stake are fee times months."
        },
        "monthlyUptime": {
          "minItems": 1,
          "maxItems": 24,
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "month": {
                "type": "string",
                "pattern": "^\\d{4}-(0[1-9]|1[0-2])$",
                "description": "Calendar month as YYYY-MM."
              },
              "uptimeBps": {
                "type": "integer",
                "minimum": 0,
                "maximum": 10000,
                "description": "Uptime in basis points; 9870 means 98.70%."
              }
            },
            "required": [
              "month",
              "uptimeBps"
            ],
            "additionalProperties": false
          },
          "description": "One entry per month, each month at most once. Months below the SLA threshold count as misses."
        },
        "noticeGiven": {
          "type": "boolean",
          "description": "Whether the customer gave written notice."
        },
        "noticeDate": {
          "type": "string",
          "format": "date",
          "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))$",
          "description": "Written notice date, YYYY-MM-DD."
        },
        "observedAtDate": {
          "type": "string",
          "format": "date",
          "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))$",
          "description": "Date the outcome is evaluated, YYYY-MM-DD. Termination needs this on or after the cure deadline."
        },
        "curedAtDate": {
          "anyOf": [
            {
              "type": "string",
              "format": "date",
              "pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))$"
            },
            {
              "type": "null"
            }
          ],
          "description": "Date the provider cured, or null if never cured."
        }
      },
      "required": [
        "monthlyFeeCents",
        "monthsRemaining",
        "monthlyUptime",
        "noticeGiven",
        "noticeDate",
        "observedAtDate",
        "curedAtDate"
      ],
      "additionalProperties": false,
      "description": "The complete replacement facts. Start from the current scenario in inspect_contract_case and change only what the what-if question needs."
    },
    "rationale": {
      "type": "string",
      "minLength": 10,
      "maxLength": 300,
      "description": "The what-if question these facts answer."
    }
  },
  "required": [
    "baseRevision",
    "scenario",
    "rationale"
  ],
  "additionalProperties": false
}

Similar websites

econsor.de

German digital agency building portals, e-commerce sites and online marketing, combining strategy, design and AI to grow clients' visibility and customer base.

live Unverified Productivity & Business Transact tools

143 tools A0 / Act142 / T1 Not yet scored Seen 2026-11-05

econsor_click_search econsor_click_image econsor_click_menu econsor_click_burger_menu_icon econsor_click_previous_button

Inspect tools