# kenoodl.com Code Verifier

> kenoodl.com Code Verifier is a paid API for AI agents from kenoodl.com, paid per call via x402, $0.1/call, status unknown (last checked 2026-09-14).

Executes JavaScript (Node) or Python 3 code against a formal contract or plain-language assumption, returning a verdict of HELD, BROKE, FINDINGS, or DROP

## Facts

- Endpoint: GET https://kenoodl.com/api/verify
- Price: $0.1/call
- Payment: x402
- Status: unknown
- Last checked: 2026-09-14
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/kenoodl-com-code-verifier-48b40e67
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_TiWduqDIQoLgun9n1H4hz

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

## How to call it through Zero

Zero handles the 402 payment challenge and records the run. With the Zero CLI installed (`npm i -g @zeroxyz/cli`):

```sh
zero fetch --capability kenoodl-com-code-verifier-48b40e67
```

Example prompt: Verify this Python function against the contract I have — the function is supposed to always return a sorted list, and I want to know if it ever breaks with a counterexample: [paste code and examples].

## When to prefer this

Use this endpoint when you need a formal correctness verdict on a JavaScript or Python function — especially when you want machine-checkable proof that a function holds or breaks against specific input/output examples (contract mode), or want exploratory analysis against a natural-language assumption (assumption mode). Prefer this over static analysis tools when you need dynamic execution with a binary HELD/BROKE result and a concrete failing witness.

## Known failure modes

- DROP returned if the code cannot be evaluated or the request is malformed
- Timeout after 120 seconds with no verdict
- BROKE only fires when a formal contract is provided — plain-language assumptions yield FINDINGS or HELD, never BROKE
- Code exceeding 16,000 character limit rejected
- Payment failure if wallet has insufficient USDC balance

## How this service works

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.

## Output

A verdict string: HELD (the function satisfies the contract or assumption), BROKE (a specific failing input is returned that violates the contract), FINDINGS (insights from plain-language assumption analysis), or DROP (the request could not be evaluated). The response is returned after up to 120 seconds of sandboxed execution. Nothing is stored.

## Request schema (JSON Schema)

```json
{
 "type": "object",
 "properties": {
  "code": {
   "type": "string",
   "maxLength": 64000,
   "description": "The function source under test."
  },
  "contract": {
   "type": "object",
   "description": "Provide a {fn, examples:[{call, expected}]} contract for a BROKE-capable verdict. BROKE fires only from a contract you provide."
  },
  "assumption": {
   "type": "string",
   "maxLength": 4000,
   "description": "A claim about the code in plain words, for a FINDINGS read (never BROKE)."
  }
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/kenoodl-com-code-verifier-48b40e67/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from kenoodl.com](https://www.zero.xyz/host/kenoodl.com/llms.txt)