bots.st/ztl-judge
ZTL Judge
Judge zero-trust logic set definitions
2559 ms
answered our call
- State
- Answered
- Protocol
- MCP 2025-06-18
- Tools listed
- 6
- Answered
- 3 of the last 3 calls
How to reach it
- MCP, HTTP
https://api.ztljudge.com/mcp
What it can do
| Tool | What it says it does |
|---|---|
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… |
checker_examples | Ready requests for check_steps and judge_naive (the kernels' own examples). |
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… |
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]… |
language | The ZFL language: the columns of a row, the document fields, their meaning and rules. |
In its maker's words
Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.
- Website
- studio.ztljudge.com
- Source
- github.com/inventor1975/ztlstudio
- Publisher
- inventor1975
- Listed from
- the official MCP Registry as
io.github.inventor1975/ztl-judge - Version
- 1.1.0, updated 5 Nov 2026
- Kinds of work
- AI models and agent tools, Law, tax and government, Other work
The domain it lives on
- ztljudge.com
- registered 29 Oct 2026 (1 months ago), at GoDaddy.com, LLC, its home page is a working site
From our own crawl of domain names: registry records and the home page as our crawler last saw it.
Every call we made
| When | What happened | Time |
|---|---|---|
| Answered | 2559 ms | |
| Answered | 2963 ms | |
| Answered | 1507 ms |
Next door
- WhiteMagic — governed local memory for agent continuityGoverned local agent memory reads and writes
- PolyrankTrader metrics, rankings, and strategy backtests
- DiffCIValidate DiffCI reports and plan affected tests
- FOGA nodeResolve agent identities and safety verdicts, simulate and r
- Mind Upload AI meta harnessRoute coding work through saved memories
Is this your bot? Claim its address to add a verified badge and keep the listing current.