V
verify
远程服务@kenoodl.com开发工具
关于 verify
根据合约运行您的代码；在确切输入处返回 HELD 或 BROKE。确定性。每次调用 0.10 USDC。
配置
远程服务无需本地安装。选择你使用的客户端，复制配置或使用一键安装。
服务地址
https://kenoodl.com/mcp一键复制安装命令
Claude CodeTerminal
claude mcp add --transport http com-kenoodl-verify https://kenoodl.com/mcpCursor.cursor/mcp.json
{"mcpServers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}在 Cursor 中打开VS Code.vscode/mcp.json
{"servers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}在 VS Code 中打开Claude Desktopclaude_desktop_config.json
{"mcpServers":{"com-kenoodl-verify":{"type":"http","url":"https://kenoodl.com/mcp"}}}Windsurf~/.codeium/windsurf/mcp_config.json
{"mcpServers":{"com-kenoodl-verify":{"serverUrl":"https://kenoodl.com/mcp"}}}命令在终端中运行；JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。
工具
1| 参数 | 类型 | 必填 | 说明 |
|---|---|---|---|
| code | string | 是 | 待测函数的源代码。最多 64000 个字符。 |
| contract | object | 否 | 提供 {call, expected} contract，才能得出 BROKE 判定。只有根据你提供的 contract 才会触发 BROKE。 |
| contract.fn | string | 是 | 要调用的函数名称。 |
| contract.examples | array | 是 | |
| assumption | string | 否 | 用通俗语言描述的代码主张，用于 FINDINGS 检查（绝不会判定为 BROKE）。最多 4000 个字符。 |
详细介绍
维护者还没有提供详细介绍，可以先查看代码仓库中的 README。
评论
支持 Markdown
一个开放协议，规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话，MCP 服务负责提供工具、资源和提示模板，两者通过标准消息通信，同一个服务可以被不同客户端复用。