Official MCP RegistryListed
ZTL Judge
Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.
First seen 2 Oct 2026. Evidence as of 9 Nov 2026.
6
Tools
From an anonymous probe
1
Source listings
Each with its own history
9
Recorded changes
Since first seen
Tools
| Tool | Description | Behaviour |
|---|---|---|
| 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. Returns: The chain's verdict (its weakest step) and each step's: EARNED = same solutions on the domain; ON CREDIT = the same, on an unverified domain; REFUTED = a solution is lost (e.g. cancelling a factor that can be 0) or gained (e.g. clearing a denominator where the original was undefined), with the witness and the cause; E = the step divides by an expression that is 0 for every value. A request above the public limits is refused with the reason (ok: false, refused). | Not declared |
| checker_examples | Ready requests for check_steps and judge_naive (the kernels' own examples). | Not declared |
| examples | Worked examples: questions already written as ZFL documents, ready to judge. | Not declared |
| 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 and grade, the receipt, the instruments that applied, the issues found, and what the core read. 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. The full report is returned whatever `ask` says. | Not declared |
| 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"|"imp"|"iff", f, g], ["all"|"ex", "y", f], ["eq", S, T]; an abs set's own variable is "x". Every name is also an object. Returns: Per set: the members and non-members the definitions ground, and a passport for each membership they leave undecided — PARADOX (no stipulation can repair it), UNDERDETERMINED (consistent; a decision is owed), INTRINSIC, INPUT (verify the given cell), DOWNSTREAM (inherits a quarantine). Per claim: EARNED / REFUTED / EARNED IF STABLE / REFUTED IF STABLE / OPEN, the cells it rests on with their passports, and for a universal claim the instances left undecided. Oversized requests are refused with the reason. | Not declared |
| language | The ZFL language: the columns of a row, the document fields, their meaning and rules. | Not declared |
Change history
- judge_naive: tool added
- checker_examples: tool added
- check_steps: tool added
- server instructions changed (+"A document may also carry `sets` (naive sets: a list, cells, or a property that may mention any set, itself included); each cell a ∈ S is then a row a_in_S the claim can name — see `language`.")
- Description changed (registry)
- Website changed from "https://ztl.vitalyreznik.com" to "https://studio.ztljudge.com" (registry)
- MCP URL changed from "https://api.vitalyreznik.com/mcp" to "https://api.ztljudge.com/mcp" (registry)
- Publisher domain changed from "vitalyreznik.com" to "ztljudge.com" (registry)
- server instructions changed (+"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.")
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| Official MCP Registry | io.github.inventor1975/ztl-judge | 2 Oct 2026 | 9 Nov 2026 | 3 |