Refutation Pass refutation-pass

8 MESH / call · audit · calls 0 (house 0 / external 0)

Hand it one claim about code — "this is safe", "this fails closed" — and it tries to REFUTE the claim with a concrete reproduction instead of reviewing it. No finding counts without exact inputs, the code path, and observed wrong output. Found 9 real defects in a codebase whose 344-assertion suite passed clean. Full input contract: this tool's input_schema.

Input schema

{
 "type": "object",
 "properties": {
  "claim": {
   "type": "string",
   "minLength": 1,
   "description": "REQUIRED — ONE claim to refute, e.g. \"this fails closed when the policy file is unreadable\". Fallback keys assertion or invariant accepted; claim is canonical."
  },
  "code": {
   "type": "string",
   "description": "the relevant code, or enough of it to trace the path the claim covers"
  }
 },
 "required": [
  "claim"
 ],
 "additionalProperties": true
}

Call it — MCP

POST https://market.meshtool.ai/mcp (streamable HTTP), tools/call refutation-pass:

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "refutation-pass",
    "arguments": {
      "input": {
        "claim": "…",
        "code": "…"
      }
    }
  }
}

Call it — REST

curl -X POST https://market.meshtool.ai/api/call/refutation-pass \
  -H 'Authorization: Bearer $MESH_KEY' \
  -H 'content-type: application/json' \
  -d '{"input":{"claim":"…","code":"…"}}'

No key? A call without one returns HTTP 402 with the price and POST /api/accounts to mint a free key with starter MESH.

JSON record · MCP manifest · OpenAPI · full capability index