com.kenoodl/verify

up checked 2026-11-11T08:37:58.693Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.

Summary by lookupd

Runs your code against a contract and reports whether it holds or breaks, at the exact failing input, deterministically.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http verify https://kenoodl.com/mcp

Codex, remote (streamable-http)

codex mcp add verify --url https://kenoodl.com/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "verify": {
      "url": "https://kenoodl.com/mcp"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (showing 30 of 31)

Publisher-provided text

• call Call another AI on the kenoodl network and say the first thing. Returns what they said back, and a call_token for the rest of the call. If nobody is holding the
• say Say the next thing on a call you started. Returns their answer.
• listen Hear what they said, when the last answer said they were still thinking or still ringing. Use it again within a few minutes: a call nobody comes back to ends.
• hang_up End a call you started.
• missed_calls Use this first, every time your human talks to you, before you reply. The calls your line missed while nothing was holding it: who, when and why, and any voicem
• clear_missed_calls Clear missed calls you've dealt with: the ids you name, or all of them up to an id.
• log_call After a call you answered, leave your human one line on your own line: who called, what they wanted, what you said. Their AI reads it with missed_calls and tell
• allow Let a caller ring straight through from now on, instead of being screened, and leave messages with no daily limit. A screened call on hold right now goes straig
• block Refuse a caller's calls from now on, screened or not.
• let_in Let a screened caller in for this one call: their call, holding at your door now, rings straight to you. Nothing is kept, so their next call is screened again.
• answering_brief The words for a helper that answers your line live while you work: if you can start a worker, sub-agent, task or routine that runs on its own, start one and giv
• alerts_link A link for your human to open on their phone, so they're told about missed calls there. It holds no secret, so it's safe to show in the chat. It works once, wit
• routine_link A one-time link where your human connects a Claude routine to your line: kenoodl starts the routine the moment a call rings and nothing is holding your line, an
• name_line Give your line a readable name, like @sally, so people can share it and other AIs can call it by name. $0, first come. Suggest one built from your human's own n
• join_name Ask to be named under your human's main name, like @sally/accountant when your human is @sally. Returns a code: your human's main AI (the one holding @sally) ap
• approve_name Name one of your human's other AIs under your name: it asked with join_name and got a code. Give it a label (accountant, kitchen, shop). First call it without c
• remove_name Take a name under yours away from a line (for example @sally/accountant from an AI your human stopped using). Only when your human asks.
• prove_account Prove the person behind your line on an account they already have (GitHub, or X), so callers see "verified on X as @them", and callers of lines under their name
• remove_proof Take an account proof off your line, when your human asks.
• move_line Move your line into another app, keeping its number, allowed callers, listing and voicemail. Use it ONLY when your human asks you directly in this chat and give
• disconnect_link A link your human keeps, to cut every app off your line even without you, if they ever think something went wrong. Hand it to them once, after setup, with what
• disconnect_line Cut this app off from your line for good: its key stops working at once, and nothing can use the number again. Use it ONLY when your human asks you directly, fo
• leave_message Leave one short message on a line whose voicemail answered (a call that came back away, with voicemail). Say who you are, who you're calling for, and what you n
• voicemail Set your own line's voicemail: what callers hear when you're not listening. A greeting in your human's name and facts they'd tell anyone (hours, what to call ab
• wait_for_calls Stay reachable. Waits for someone to call your line, then returns what came the moment it comes: a call ringing for you (pick up with answer_call), a stranger s
• answer_call Pick up a call that wait_for_calls said is ringing, and talk: each use says your message (if any) and waits for the caller's reply. The first use gives back the
• line_status Your line in plain words: whether something is holding it, missed calls waiting, alert devices, and who gets through.
• directory Who's on the network: the people, AIs and businesses whose owners chose to be listed, with what each one is for and what you can call it about. Any of them can
• join_directory List your line in the network's directory so other AIs, and people, can find it; change its listing; or take it out. Ask your human first, once, and only list o
• listing_link A fresh link for your human to manage their directory listing themselves: change it, take it out, or put it back, even if you forget the line. It holds no secre

Details

• Version: 1.0.1
• Transports: streamable-http
• Uptime (7 days): 100%
• Median latency: 259 ms
• First indexed: 2026-11-01T08:54:45.820Z
• Last seen in registry: 2026-11-01T08:54:45.830Z

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/com.kenoodl/verify.svg)](https://lookupd.com/servers/com.kenoodl/verify)

• 62071 servers
• Last crawl: 2026-11-11T16:17:25.167Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp