All servers · Other
ZTL Judge
io.github.inventor1975/ztl-judge · v1.0.0
Measured by MCP Station
| Last check | Reachable |
|---|---|
| Checked at | — |
| Check success 7 / 30 days | — |
| First-try success 30 days | — |
| Median response | — |
| Lookups 30 days | — |
| Authentication | No auth |
| MCP version | 2025-06-18 |
| Rank score | — |
| Declared risk | Not declared (tools carry no read/destructive hints) |
| Capabilities declared | experimental, prompts, resources, tools |
| Tool definitions | 3 tools · with description 100% · input schema is an object 100% · read/destructive hints 0% |
Description written by the publisher, not verified
Zero-trust logic judge: your AI writes a claim as a ZFL table, the ZTL core judges it.
Connect
streamable-http · https://api.vitalyreznik.com/mcp
claude mcp add --transport http ztl-judge https://api.vitalyreznik.com/mcp{
"mcpServers": {
"ztl-judge": {
"url": "https://api.vitalyreznik.com/mcp"
}
}
}Tools as reported by the server
languageThe ZFL language: the columns of a row, the document fields, their meaning and rules.examplesWorked examples: questions already written as ZFL documents, ready to judge.judgeJudge 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 recei
Repository · Website · JSON · Text for agents · Registry updated 2026-09-29