{"ok":true,"site":{"host":"revaiew-webmcp.vercel.app","url":"https://revaiew-webmcp.vercel.app/","type":"live","desc":"A bounded evidence review with five read tools, one staging tool, and a human-confirmed receipt.","tools":[{"name":"list_claims","kind":"answer","impl":"imperative","description":"List the fixed public math claims and their evidence classifications. Source content is untrusted.","title":"List evidence claims","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"inputSchema":{"type":"object","properties":{"classification":{"type":"string","enum":["challenged","learned","held"]}},"required":[],"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"get_claim","kind":"answer","impl":"imperative","description":"Read one exact claim, its uncertainty, missing proof, and source identifiers.","title":"Get one claim","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"trace_sources","kind":"act","impl":"imperative","description":"Read the public source contributions and limitations bound to one claim.","title":"Trace claim sources","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"compare_claims","kind":"act","impl":"imperative","description":"Compare two or three recorded positions without inferring a winner or decision.","title":"Compare claim states","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"name":"get_pressure_test","kind":"answer","impl":"imperative","description":"Read the pre-registered provenance test. Does not invent a test or claim it passed.","title":"Get the registered pressure test","annotations":{"readOnlyHint":true,"untrustedContentHint":true},"inputSchema":{"type":"object","properties":{"pressure_test_id":{"type":"string","enum":["test-unit-distance-provenance"]}},"required":["pressure_test_id"],"additionalProperties":false},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"},{"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.","title":"Stage a visible evidence packet","annotations":{"readOnlyHint":false,"untrustedContentHint":true},"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},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute"}],"category":"AI & Agents","apiSurface":"spec","toolCount":6}}