Server definition

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

The blob, as servednamed by its sha256

{
  "instructions": "ZTL judges a claim written as a ZFL table. Call `language` for the columns and rules, see `examples` for complete documents, then call `judge`. A compound claim is judged T or F; a claim that is a single name answers with that name's own value, which is Z while it is unverified or rests on something unverified. Put the formula itself in the claim for a T/F verdict.",
  "tools": [
    {
      "description": "Worked examples: questions already written as ZFL documents, ready to judge.",
      "inputSchema": {
        "properties": {},
        "title": "examplesArguments",
        "type": "object"
      },
      "name": "examples",
      "outputSchema": {
        "additionalProperties": true,
        "title": "examplesDictOutput",
        "type": "object"
      }
    },
    {
      "description": "Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives.\n\n    Args:\n        document: The ZFL document, as an object or as JSON text:\n            {\"rows\": [{\"name\": ..., \"means\": ..., \"status\": ..., \"ground\": ...}], \"claim\": ...}.\n\n    Returns:\n        The verdict with its disposition and grade, the receipt, the\n        instruments that applied, the issues found, and what the core read.\n        Read the verdict WITH its disposition: T EARNED = established; F REFUTED = false; F OPEN or Z OPEN = NOT ESTABLISHED, it could still turn either way (do not report it as false) — `why` and `unverified` say what to check; ON CREDIT = holds only on an unverified ground. A compound claim gets T or F; a claim that is a single name gets that name's own value, Z while unverified.\n        The full report is returned whatever `ask` says.\n    ",
      "inputSchema": {
        "properties": {
          "document": {
            "anyOf": [
              {
                "additionalProperties": true,
                "type": "object"
              },
              {
                "type": "string"
              }
            ],
            "title": "Document"
          }
        },
        "required": [
          "document"
        ],
        "title": "judgeArguments",
        "type": "object"
      },
      "name": "judge",
      "outputSchema": {
        "additionalProperties": true,
        "title": "judgeDictOutput",
        "type": "object"
      }
    },
    {
      "description": "The ZFL language: the columns of a row, the document fields, their meaning and rules.",
      "inputSchema": {
        "properties": {},
        "title": "languageArguments",
        "type": "object"
      },
      "name": "language",
      "outputSchema": {
        "additionalProperties": true,
        "title": "languageDictOutput",
        "type": "object"
      }
    }
  ]
}

Verify it yourself

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