Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

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

[mcp_servers.verify]
url = "https://kenoodl.com/mcp"

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "verify": {
      "type": "remote",
      "url": "https://kenoodl.com/mcp",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "verify": {
      "type": "http",
      "url": "https://kenoodl.com/mcp"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=verify&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8va2Vub29kbC5jb20vbWNwIn0%3D"
}

{
  "servers": {
    "verify": {
      "type": "http",
      "url": "https://kenoodl.com/mcp"
    }
  }
}

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

extensions:
  "verify":
    enabled: true
    name: "verify"
    type: streamable_http
    uri: "https://kenoodl.com/mcp"
    timeout: 300

Quality 76 / 100good

protocol75 · weight 25

warn
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28
n/a
protocol.statelessonly applies to 2026-07-28 servers
pass
protocol.transportstreamable HTTP
n/a
protocol.list_ttlonly applies to 2026-07-28 servers

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene64 · weight 30

pass
tools.descriptionsevery tool has a description
warn
tools.description_length1 tools have descriptions over 1,024 characters, which crowds the context
pass
tools.schemasevery tool has an object input schema
fail
tools.annotationsno tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky ones
fail
tools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: verify (readOnlyHint, destructiveHint, idempotentHint, openWorldHint)
pass
tools.token_costabout 533 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump

stability100 · weight 15

pass
stability.changesno tool changes in 30 days
pass
stability.rug_pullno tool changed its meaning under the same name

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

1 tools, about 533 tokens to load them all · tool set f26d1434971b · checked 2026-10-20 10:35 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 77 / 100

no-repository

provenance45

liveness100

freshness85

hygiene80

+dns-namespace +reachable +uptime-100% ~updated-35d-ago -no-repository

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://kenoodl.com/mcp` streamable-http	none	yes	100%	254 ms	2025-11-25	2026-10-20

Tools (1)

verify An outside check on code, executed in a sealed sandbox. Call it before code crosses a consequence boundary: before you merge it, deploy it, publish it, settle a payout on it, or report it done. A self-audit verifies consistency, never completeness: a check written inside the frame that produced the code passes on the code's own assumptions. This is the check that is not you. Also call it when a fix passes your own check but the target still fails; that means your check shares the code's assumption and cannot see the error. INPUT: code (JavaScript/Node or Python 3 source, deterministic only) plus ONE of: contract {fn, examples:[{call,expected}]} (copy call and expected from the test or spec the consequence depends on), or assumption (plain-language claim, weaker read). It checks the code against the contract exactly as given. VERDICTS (synchronous): BROKE: the code violates your contract, with the exact input and a rerunnable proof; do not proceed. HELD: the code meets the contract you gave; proceed on that contract, and nothing more. FINDINGS: a stated property strains under a generated input; check it before proceeding. DROP: not deterministically checkable. PAYMENT: 0.10 USDC per call, x402 v2 on Base, no account. Every delivered verdict is charged, HELD and DROP included. If no verdict is produced, the payment authorization is cancelled and you are not charged.

Schemas: list_tools.

Similar MCP servers

Official server.json

{
  "name": "com.kenoodl/verify",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-09-29/server.schema.json",
  "remotes": [
    {
      "url": "https://kenoodl.com/mcp",
      "type": "streamable-http"
    }
  ],
  "version": "1.0.1",
  "description": "Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call."
}