Verify is an MCP server with 1 tool an agent can call, among them verify. It answers at https://kenoodl.com/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 10 of 10 times since 5 September 2026; the last check, on 18 October 2026, succeeded.
Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
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 compl Inputs: code, contract, assumption |
Every block below points at https://kenoodl.com/mcp. Pick your client and copy.
claude mcp add --transport http verify https://kenoodl.com/mcp
{
"mcpServers": {
"verify": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://kenoodl.com/mcp"]
}
}
}{
"mcpServers": {
"verify": {
"url": "https://kenoodl.com/mcp"
}
}
}{
"servers": {
"verify": {
"type": "http",
"url": "https://kenoodl.com/mcp"
}
}
}{
"context_servers": {
"verify": {
"url": "https://kenoodl.com/mcp"
}
}
}{
"mcpServers": {
"verify": {
"serverUrl": "https://kenoodl.com/mcp"
}
}
}{
"mcpServers": {
"verify": {
"url": "https://kenoodl.com/mcp"
}
}
}name: Verify
version: 0.0.1
schema: v1
mcpServers:
- name: Verify
type: streamable-http
url: https://kenoodl.com/mcp{
"mcpServers": {
"verify": {
"httpUrl": "https://kenoodl.com/mcp"
}
}
}{
"mcpServers": {
"verify": {
"type": "http",
"url": "https://kenoodl.com/mcp"
}
}
}{
"mcpServers": {
"verify": {
"url": "https://kenoodl.com/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fkenoodl.com%2Fmcp&type=streamable_http&id=verify&name=Verify
It answered our last check on 18 October 2026 in 264 ms. Over 10 checks since 5 September 2026 it answered 10. Status here comes from Neuronto's own probes, not from the publisher.
Yes. It is published by kenoodl.com and served from kenoodl.com, the vendor's own domain: https://kenoodl.com/mcp.
1, as returned by the server's own tools/list on 31 August 2026: verify.
It answered our last check on 18 October 2026 in 264 ms. Over 10 checks since 5 September 2026 it answered 10.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://kenoodl.com/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: com.kenoodl. Endpoint host: kenoodl.com. ARD identifier: urn:air:com.kenoodl:mcp:verify.
First indexed 31 August 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.