io.github.inventor1975/ztl-judge

up checked 2026-11-11T13:38:31.658Z

Unclaimed · Unverified

Publisher-provided title

ZTL Judge

Publisher-provided description

Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.

Summary by lookupd

Judges logic documents and algebra derivation steps, checking whether each step keeps the same solutions, and evaluates set membership by…

Install

Claude Code, remote (streamable-http)

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

Codex, remote (streamable-http)

codex mcp add ztl-judge --url https://api.ztljudge.com/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Publisher-provided text

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
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":
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": [
checker_examples Ready requests for check_steps and judge_naive (the kernels' own examples).

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.inventor1975/ztl-judge.svg)](https://lookupd.com/servers/io.github.inventor1975/ztl-judge)