Server definition

Hash: sha256:e03e61ff84fa861ad480c97c0c5678c9961a2e5017033c401978e6a70c4ba5ff
What it is: What a remote MCP server returned when asked what it offers: 1 tools

The blob, as servednamed by its sha256

{
  "instructions": "kenoodl Verify runs your code against a claim and returns the verdict in the same response. Executes JavaScript (Node) or Python 3 in an ephemeral sandbox; the code is discarded after the run. Call the verify tool before code crosses a consequence boundary: a merge, a deploy, a publish, a payout, or reporting the work done. It returns HELD, BROKE (the exact input that fails), FINDINGS, or DROP; BROKE fires only from a contract you provide. Paid per call over x402 on Base, 0.10 USDC, no account. The verdict returns synchronously in the tool result; there is no job and no polling. If no verdict is produced, the call returns an error and the payment is cancelled, so you are not charged.",
  "tools": [
    {
      "description": "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.\nINPUT: 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.\nVERDICTS (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.\nPAYMENT: 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.",
      "inputSchema": {
        "properties": {
          "assumption": {
            "description": "A claim about the code in plain words, for a FINDINGS read (never BROKE). 4000 char max.",
            "maxLength": 4000,
            "type": "string"
          },
          "code": {
            "description": "The function source under test. 64000 char max.",
            "maxLength": 64000,
            "type": "string"
          },
          "contract": {
            "description": "Provide a {call, expected} contract for a BROKE-capable verdict. BROKE fires only from a contract you provide.",
            "properties": {
              "examples": {
                "items": {
                  "properties": {
                    "call": {
                      "type": "string"
                    },
                    "expected": {
                      "type": "string"
                    }
                  },
                  "required": [
                    "call",
                    "expected"
                  ],
                  "type": "object"
                },
                "type": "array"
              },
              "fn": {
                "description": "The function name to exercise.",
                "type": "string"
              }
            },
            "required": [
              "fn",
              "examples"
            ],
            "type": "object"
          }
        },
        "required": [
          "code"
        ],
        "type": "object"
      },
      "name": "verify",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:e03e61ff84fa861ad480c97c0c5678c9961a2e5017033c401978e6a70c4ba5ff | sha256sum