verify
RemoteAbout verify
Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call
Configuration
Remote servers need no local install. Pick your client, then copy the config or install in one click.
https://kenoodl.com/mcpclaude mcp add --transport http com-kenoodl-verify https://kenoodl.com/mcp{"mcpServers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}Open in Cursor{"servers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}Open in VS Code{"mcpServers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}{"mcpServers":{"com-kenoodl-verify":{"serverUrl":"https://kenoodl.com/mcp"}}}Run commands in a terminal; paste JSON into the client’s MCP config and restart. Servers that need sign-in will prompt on first connect.
Tools
1| Parameter | Type | Required | Description |
|---|---|---|---|
| code | string | Yes | The function source under test. 64000 char max. |
| contract | object | No | Provide a {call, expected} contract for a BROKE-capable verdict. BROKE fires only from a contract you provide. |
| contract.fn | string | Yes | The function name to exercise. |
| contract.examples | array | Yes | |
| assumption | string | No | A claim about the code in plain words, for a FINDINGS read (never BROKE). 4000 char max. |
Details
The maintainer has not added details yet. Check the README in the repository.
Comments
New to MCP?
From what the protocol is to installing your first server, these answers cover most first questions.
An open protocol that defines how AI applications connect to external tools and data in a uniform way. Clients talk to the model; MCP servers provide tools, resources and prompt templates. They exchange standard messages, so one server can be reused by many clients.