ZTL Judge

Last 30 days

Uptime

100%

Response time

266 ms typical, 266 ms slowest 5%

Last check

4 h ago

Next check

in 2 h

How to call it

Add it to any MCP client that supports remote servers.

{
  "mcpServers": {
    "ztl-judge": {
      "type": "http",
      "url": "https://api.vitalyreznik.com/mcp"
    }
  }
}

3 tools

• language

  The ZFL language: the columns of a row, the document fields, their meaning and rules.

• examples

  Worked examples: questions already written as ZFL documents, ready to judge.

• judge

  Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives. Args: document: The ZFL document, as an object or as JSON text: {"rows": [{"name": ..., "means": ..., "status": ..., "ground": ...}], "claim": ...}. Returns:

Security scan

• No findings. We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.

Recent checks