{"slug":"kenoodl-com-api-verify-d821d8","title":"The independent gate before a merge, deploy, or payout","host":"kenoodl.com","method":"POST","resource":"https://kenoodl.com/api/verify","category":"code","description":"The independent gate before a merge, deploy, or payout. Deterministic JavaScript (Node) or Python 3 run against a contract or claim; returns HELD, BROKE with the failing input, FINDINGS, or DROP. BROKE requires a contract. Ephemeral sandbox, nothing stored. 0.10 USDC; allow up to 120s.","price_listed":0.1,"price_asked":null,"state":"effects","state_label":"Not tested: has real-world effects","checks_7d":0,"answered_7d":0,"latency_ms_median":null,"reported_calls_30d":1,"reported_payers_30d":1,"networks":["eip155:8453"],"badge":"unverified","paid_checks_7d":0,"paid_ok_7d":0,"example_input":{"body":{"code":"def add(a, b): return a - b","contract":{"examples":[{"call":"add(2,3)","expected":"5"}],"fn":"add"}},"bodyType":"json","method":"POST","type":"http"},"output_schema":{"$schema":"https://json-schema.org/draft/2020-12/schema","properties":{"input":{"additionalProperties":false,"properties":{"body":{"properties":{"assumption":{"description":"A claim about the code in plain words, for a FINDINGS read (never BROKE).","maxLength":4000,"type":"string"},"code":{"description":"The function source under test.","maxLength":64000,"type":"string"},"contract":{"description":"Provide a {fn, examples:[{call, expected}]} contract for a BROKE-capable verdict. BROKE fires only from a contract you provide.","type":"object"}},"required":["code"]},"bodyType":{"enum":["json","form-data","text"],"type":"string"},"method":{"enum":["POST"],"type":"string"},"type":{"const":"http","type":"string"}},"required":["type","method","bodyType","body"],"type":"object"},"output":{"properties":{"example":{"properties":{"closer":{"type":"string"},"contract":{"type":"object"},"detail":{"type":"string"},"proof":{"type":"string"},"proofRuns":{"type":"string"},"verdict":{"enum":["HELD","BROKE","FINDINGS","DROP"],"type":"string"}},"required":["verdict"],"type":"object"},"type":{"type":"string"}},"required":["type"],"type":"object"}},"required":["input"],"type":"object"},"history":[],"description_full":"The independent gate before a merge, deploy, or payout. Deterministic JavaScript (Node) or Python 3 run against a contract or claim; returns HELD, BROKE with the failing input, FINDINGS, or DROP. BROKE requires a contract. Ephemeral sandbox, nothing stored. 0.10 USDC; allow up to 120s.","last_updated":"2026-09-07T23:15:24.469Z","schemes":["exact"]}