← WebMCP Directory

Tool tree

paradoxwebmcp.com

Developer ToolsTools verified
Website
Paradox is a testing tool for WebMCP apps: it explores every human-agent interleaving of your live state, finds replayable invariant violations, and proves the repair.
Explore capabilities

    page: Home

    inspect_expenseAction

    Inspect one pending expense and create a version-bound review token.

    View tool JSON
    {
  "name": "inspect_expense",
  "kind": "act",
  "impl": "imperative",
  "description": "Inspect one pending expense and create a version-bound review token.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "expenseId": {
        "type": "string",
        "description": "Expense identifier. Defaults to 481."
      }
    },
    "additionalProperties": false
  },
  "page": "/"
}
    approve_reviewed_expenseAction

    Complete a previously started expense review.

    View tool JSON
    {
  "name": "approve_reviewed_expense",
  "kind": "act",
  "impl": "imperative",
  "description": "Complete a previously started expense review.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "reviewToken": {
        "type": "string",
        "description": "Token returned by inspect_expense."
      }
    },
    "required": [
      "reviewToken"
    ],
    "additionalProperties": false
  },
  "page": "/"
}

    page: Expense approval

    inspect_labAction

    Inspect the active Paradox session, invariant, guard mode, and exploration status.

    View tool JSON
    {
  "name": "inspect_lab",
  "kind": "act",
  "impl": "imperative",
  "description": "Inspect the active Paradox session, invariant, guard mode, and exploration status.",
  "inputSchema": {
    "type": "object",
    "properties": {},
    "additionalProperties": false
  },
  "page": "/lab/expense-approval"
}
    explore_futuresAction

    Explore recorded human-agent interleavings and find invariant violations.

    View tool JSON
    {
  "name": "explore_futures",
  "kind": "act",
  "impl": "imperative",
  "description": "Explore recorded human-agent interleavings and find invariant violations.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "sessionId": {
        "type": "string",
        "description": "Optional active session identifier."
      },
      "maxNodes": {
        "type": "integer",
        "minimum": 1,
        "maximum": 50000,
        "description": "Maximum states to dequeue."
      }
    },
    "additionalProperties": false
  },
  "page": "/lab/expense-approval"
}
    reset_labAction

    Reset the expense-approval lab to its deterministic initial state.

    View tool JSON
    {
  "name": "reset_lab",
  "kind": "act",
  "impl": "imperative",
  "description": "Reset the expense-approval lab to its deterministic initial state.",
  "inputSchema": {
    "type": "object",
    "properties": {
      "scenarioId": {
        "type": "string",
        "enum": [
          "expense-approval"
        ]
      }
    },
    "required": [
      "scenarioId"
    ],
    "additionalProperties": false
  },
  "page": "/lab/expense-approval"
}