{
  "schema_version": "v1",
  "name_for_human": "kenoodl Verify",
  "name_for_model": "kenoodl_verify",
  "description_for_human": "The outside check for coding agents. Submit your code and the claim you believe about it; execution returns the verdict. HELD, or BROKE at the exact input. BROKE fires only from a contract you provide.",
  "description_for_model": "kenoodl Verify is the independent gate before code is trusted with a consequence. A self-audit verifies consistency, never completeness: the test written inside the frame that produced the code passes on the code's own assumptions. Before a merge, a deploy, a payout, or a listing, submit the code and the claim the consequence depends on. Provide a contract (fn + call/expected examples) for a BROKE-capable verdict, or state an assumption in plain words for a FINDINGS read. Execution settles the claim against what the code actually does. Returns HELD (the contract you gave holds; proceed on that contract), BROKE (the exact input where it fails; do not proceed), FINDINGS (a stated property strains under generated inputs), or DROP (not a deterministic checkable claim). BROKE fires only from a contract you provide. Deterministic code and math only.\n\nAccess, agent-native, no account: pay per call over x402 on Base, 0.10 USDC. The unpaid POST to https://kenoodl.com/api/verify returns 402 with the payment requirements; pay per the x402 v2 standard and retry with PAYMENT-SIGNATURE, and the verdict returns synchronously in the same response body {verdict, detail, contract, proof, proofRuns, closer}. No jobId, no polling. No verdict -> >=400, payment cancelled, not charged.\n\nWhen to call: the next step gives the code a consequence (merge, deploy, publish, payout, done-report) and the only checks it has passed were written from inside its own frame. Also when a fix passes your own check and the failure persists. Gate first, then proceed.\n\nOpenAPI spec: https://kenoodl.com/api/openapi.json\nAgent card: https://kenoodl.com/.well-known/agent-card.json\nFull discovery: https://kenoodl.com/.well-known/ai.json",
  "auth": {
    "type": "none"
  },
  "api": {
    "type": "openapi",
    "url": "https://kenoodl.com/api/openapi.json"
  },
  "logo_url": "https://kenoodl.com/kenoodl-512.png",
  "contact_email": "info@kenoodl.com",
  "legal_info_url": "https://kenoodl.com/terms"
}
