{"ok":true,"site":{"host":"paradoxwebmcp.com","url":"https://www.paradoxwebmcp.com/","type":"live","desc":"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.","tools":[{"name":"inspect_expense","kind":"act","impl":"imperative","description":"Inspect one pending expense and create a version-bound review token.","title":"Inspect expense","annotations":{"readOnlyHint":false},"inputSchema":{"type":"object","properties":{"expenseId":{"type":"string","description":"Expense identifier. Defaults to 481."}},"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/lab/expense-approval/ledger"]},{"name":"approve_reviewed_expense","kind":"act","impl":"imperative","description":"Complete a previously started expense review.","title":"Approve reviewed expense","annotations":{"readOnlyHint":false},"inputSchema":{"type":"object","properties":{"reviewToken":{"type":"string","description":"Token returned by inspect_expense."}},"required":["reviewToken"],"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/lab/expense-approval/ledger"]},{"name":"inspect_lab","kind":"act","impl":"imperative","description":"Inspect the active Paradox session, invariant, guard mode, and exploration status.","title":"Inspect lab","annotations":{"readOnlyHint":true},"inputSchema":{"type":"object","properties":{},"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/lab/expense-approval","pages":["/lab/expense-approval"]},{"name":"explore_futures","kind":"act","impl":"imperative","description":"Explore recorded human-agent interleavings and find invariant violations.","title":"Explore futures","annotations":{"readOnlyHint":false},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/lab/expense-approval","pages":["/lab/expense-approval"]},{"name":"reset_lab","kind":"act","impl":"imperative","description":"Reset the expense-approval lab to its deterministic initial state.","title":"Reset lab","annotations":{"readOnlyHint":false},"inputSchema":{"type":"object","properties":{"scenarioId":{"type":"string","enum":["expense-approval"]}},"required":["scenarioId"],"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/lab/expense-approval","pages":["/lab/expense-approval"]}],"category":"Developer Tools","favicon":"/favicons/paradoxwebmcp.com.png","apiSurface":"spec","toolCount":5}}