Skip to content

code verification · kenoodl.com

The independent gate before a merge, deploy, or payout. Deterministic…

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.

Ready now1 call · 1 buyer in 30 days

Input

A claim about the code in plain words, for a FINDINGS read (never BROKE).
The function source under test.
Contract
Provide a {fn, examples:[{call, expected}]} contract for a BROKE-capable verdict. BROKE fires only from a contract you provide.

Sample response

Published by the provider. Your run returns a fresh response.

response2 keys
detail"add(2,3) returned -1; the contract expected 5."
verdict"BROKE"
responseobject, 2 keys
Your agent can do this on its own
Add the MCP URL in Claude Code, Cursor or Codex. Your agent can run Tools within its spending limits, or ask for approval each time. Connect your agent

Connect your agent

Add one MCP URL and your agent can find and run this tool within its spending limits. Choose “Ask each time” if you want to approve every Call.

MCP URL

https://app.aecon.ai/mcp
Terminalbash
claude mcp add --transport http --scope user agentic-economy "https://app.aecon.ai/mcp"

In Claude Code, open /mcp, select agentic-economy, then choose Authenticate.

Track record

Paid calls, last 30 days
1
Buyers, last 30 days
1
Last paid call

Reported by the x402 directory.

A$0.15 per call