# See repository for install instructions
{
"mcpServers": {
"comkenoodl-verify": {
"command": "npx",
"args": []
}
}
}
{
"mcpServers": {
"comkenoodl-verify": {
"command": "npx",
"args": []
}
}
}
{
"mcpServers": {
"comkenoodl-verify": {
"command": "npx",
"args": []
}
}
}
TRY THIS MCP
About This MCP Server
The com.kenoodl/verify tool is a Model Context Protocol server that checks code against a predefined contract, providing a deterministic result of either HELD or BROKE based on the input. It operates remotely, allowing developers to verify their code's compliance with the contract at specific input points. Developers would use this tool when they need to ensure their code meets certain requirements or specifications, particularly in situations where deterministic results are crucial.
Runs your code against a contract; returns HELD or BROKE at the exact input. Deterministic.. This is a Model Context Protocol (MCP) server that extends AI assistants like Claude with other capabilities via the streamable-http transport.
HOW TO USE
Select your AI client above to get the install command. This MCP server uses the streamable-http transport.
What tools does it provide?
The verify server extends your AI assistant with other capabilities. Once installed, your AI can use its tools automatically.
