Developer Tools

ztljudge.com

Provides a ZFL domain-specific language and ZTL zero-trust logic evaluator for defining and judging structured documents.

1 endpoint3 known toolsFirst detected November 1, 2026Last detected November 1, 2026

ENDPOINT 1

https://api.ztljudge.com/mcp

No auth detected

MCP server metadata

Name: ztl-judge
Version: 2a723b2

Capabilities

experimentalpromptsresourcestools

Server 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. A row whose value is `?` is an unknown; equalities linear in the unknowns are solved, also when an interval [lo,hi] (a tolerance) multiplies an unknown. The unknown's exact range is reported under `solved` when every interval enters to the first power with rank at most one in the coefficients and right-hand side (as one resistor enters Ohm's law), the system is square with one determinant sign at every corner, and there are at most 10 intervals; otherwise the log names the condition. The system's equalities then hold at every reading and a comparison over an unknown is read at the corners where exact. A measured quantity (value or interval with a ground) is judged as given, at every reading.

Known tools 3

language

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

Inferred read-only

examples

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

Inferred read-only

judge

Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives.

Inferred read-only

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.ztl-judge]
url = "https://api.ztljudge.com/mcp"
enabled = true

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: ztl-judge
Remote MCP URL: https://api.ztljudge.com/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "ztl-judge": {
      "url": "https://api.ztljudge.com/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

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

Generic MCP

Client-specific MCP configuration

{
  "name": "ztl-judge",
  "transport": "streamable-http",
  "url": "https://api.ztljudge.com/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

TRUST AND VERIFICATION EVIDENCE

Loading Trust v2 evidence…

Checking the associated registrable domain. The BuiltWith key remains server-side.

Indexed

Evidence is source-attributed and does not guarantee that a third-party server is safe. Risk labels are conservative metadata heuristics.