ZTL Judge

Connect Remote server

claude mcp add --transport http ztl-judge https://api.ztljudge.com/mcp

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

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

Settings > Connectors > Add custom connector
URL: https://api.ztljudge.com/mcp

Tools 6 found in our last check

• 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: The verdict with its disposition…

• check_steps

  Check an algebra derivation step by step: does each step keep exactly the same solutions? Args: request: {"equations": ["x^2 = x", "x = 1"], "var": "x", "domain": [lo, hi] or null, "domain_verified": true}. Each equation is the next step; one unknown; + - * / ^ with whole powers…

• judge_naive

  Judge sets defined by a property, self-reference allowed (Russell's set, a web of trust, a policy rule). Args: universe: {"sets": {name: {"list": [...]} | {"data": {name: "T"|"F"|"Z"}} | {"abs": formula}}, "claims": [formula, ...]}. Formulas: ["in", a, S], ["not", f], ["and"|"or…

• checker_examples

  Ready requests for check_steps and judge_naive (the kernels' own examples).

Details

More other servers See all

• SalaryNet Payroll

  Gross-to-net pay and employer cost for US, PH, NG, ID, IN, BR, KE, VN with official sources.

• Auto Öz

  Auto Öz: Kontakt, Standorte, Öffnungszeiten, Leistungen und Angebote, Freie Termine, Termin…

• CGC Airport Transfers

  Fixed-price quotes and bookings for private airport transfers: Gold Coast, Brisbane, Byron Bay.

• Coral

  Private, non-explicit intimacy exercises, scripts and a couples quiz for adults 18+.

• Business valuation calculator

  Estimates what a buyer might pay for a small agency, service or SaaS business, in US dollars.

• BuildYourWolfpack

  Roast-to-order coffee with a game built in: missions, Pack Points, and your own wolf pack.