{"server":{"name":"io.github.inventor1975/ztl-judge","title":"ZTL Judge","$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","remotes":[{"url":"https://api.vitalyreznik.com/mcp","type":"streamable-http"}],"version":"1.0.0","repository":{"url":"https://github.com/inventor1975/ztlstudio","source":"github"},"websiteUrl":"https://ztl.vitalyreznik.com","description":"Zero-trust logic judge: your AI writes a claim as a ZFL table, the ZTL core judges it."},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","isLatest":true,"updatedAt":"2026-09-29T08:19:24.863981Z","publishedAt":"2026-09-29T08:19:24.863981Z","statusChangedAt":"2026-09-29T08:19:24.863981Z"},"dev.protogrid/connectability":{"class":"R0","autonomous":true,"human_steps":[],"preferred":{"kind":"remote","idx":0},"remotes":[{"idx":0,"url":"https://api.vitalyreznik.com/mcp","transport":"streamable-http","templated":false,"headers":[],"auth":{"type":"none","location":null,"secret_name":null,"oauth":null},"protocol":{"supported_versions":["2026-07-28"],"stateless":true},"health":{"reachable":true,"uptime_30d":1,"latency_ms_p50":441,"consecutive_failures":0,"last_probe_at":"2026-10-19T12:06:06.297Z","last_ok_at":"2026-10-19T12:06:06.297Z"}}],"packages":[]},"dev.protogrid/tools":[{"name":"examples","title":null,"description":"Worked examples: questions already written as ZFL documents, ready to judge.","annotations":null,"source":"probe","observed_at":"2026-10-19T12:06:06.297Z"},{"name":"judge","title":null,"description":"Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives.\n\n    Args:\n        document: The ZFL document, as an object or as JSON text:\n            {\"rows\": [{\"name\": ..., \"means\": ..., \"status\": ..., \"ground\": ...}], \"claim\": ...}.\n\n    Returns:\n        The verdict with its disposition and grade, the receipt, the\n        instruments that applied, the issues found, and what the core read.\n        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.\n        The full report is returned whatever `ask` says.\n    ","annotations":null,"source":"probe","observed_at":"2026-10-19T12:06:06.297Z"},{"name":"language","title":null,"description":"The ZFL language: the columns of a row, the document fields, their meaning and rules.","annotations":null,"source":"probe","observed_at":"2026-10-19T12:06:06.297Z"}],"dev.protogrid/trust":{"score":97,"components":{"hygiene":100,"liveness":100,"freshness":100,"provenance":90},"drivers":["+repository","+namespace-matches-repo","+website","+reachable","+uptime-100%","+updated-20d-ago"],"flags":[],"blocked":false,"computed_at":"2026-10-19T15:46:33.170Z","disclaimer":"Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed."},"dev.protogrid/quality":{"score":83,"label":"good","components":{"auth":null,"hygiene":71,"protocol":88,"stability":100,"dependencies":null},"checks":[{"id":"protocol.modern","detail":"supports 2026-07-28 (server/discover)","status":"pass","category":"protocol"},{"id":"protocol.stateless","detail":"answers without a session","status":"pass","category":"protocol"},{"id":"protocol.transport","detail":"streamable HTTP","status":"pass","category":"protocol"},{"id":"protocol.list_ttl","detail":"tools/list declares ttlMs 0, so clients re-fetch it on every use","status":"warn","category":"protocol"},{"id":"auth.prm","detail":"no remote uses OAuth","status":"na","category":"auth"},{"id":"auth.as_metadata","detail":"no remote uses OAuth","status":"na","category":"auth"},{"id":"auth.cimd","detail":"no remote uses OAuth","status":"na","category":"auth"},{"id":"auth.secret_in_url","detail":"no templated URL","status":"na","category":"auth"},{"id":"tools.descriptions","detail":"every tool has a description","status":"pass","category":"hygiene"},{"id":"tools.description_length","detail":"descriptions are concise","status":"pass","category":"hygiene"},{"id":"tools.schemas","detail":"every tool has an object input schema","status":"pass","category":"hygiene"},{"id":"tools.annotations","detail":"no tool declares readOnlyHint or destructiveHint, so clients cannot tell safe calls from risky ones","status":"fail","category":"hygiene"},{"id":"tools.directory_hints","detail":"no tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: language (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); examples (readOnlyHint, destructiveHint, idempotentHint, openWorldHint); judge (readOnlyHint, destructiveHint, idempotentHint, openWorldHint)","status":"fail","category":"hygiene"},{"id":"tools.token_cost","detail":"about 343 tokens to load every tool","status":"pass","category":"hygiene"},{"id":"tools.api_dump","detail":"tools are not a one-to-one API dump","status":"pass","category":"hygiene"},{"id":"stability.changes","detail":"1 tool changes in 30 days","status":"pass","category":"stability"},{"id":"stability.rug_pull","detail":"no tool changed its meaning under the same name","status":"pass","category":"stability"},{"id":"deps.known_vulns","detail":"no npm or PyPI package","status":"na","category":"dependencies"},{"id":"deps.mcp_sdk_version","detail":"no npm or PyPI package","status":"na","category":"dependencies"},{"id":"deps.resolvable","detail":"no npm or PyPI package","status":"na","category":"dependencies"}],"drivers":["-tools.annotations","-tools.directory_hints","~protocol.list_ttl"],"flags":[],"tool_count":3,"token_estimate":343,"tools_hash":"dd20929251fa2603d67e4497f18f6833","tools_changed_at":"2026-09-29T14:45:32.350Z","computed_at":"2026-10-19T15:48:21.482Z","disclaimer":"Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed."},"dev.protogrid/identity":{"canonical_id":"io.github.inventor1975/ztl-judge","aliases":[],"alias_count":0,"repository_key":"github:inventor1975/ztlstudio","owner":{"verified":false,"method":null,"since":null}}},"next_actions":[{"action":"list_tools","description":"Every current tool with input schemas","href":"/v1/servers/io.github.inventor1975%2Fztl-judge/tools","arguments":{"name":"io.github.inventor1975/ztl-judge"}},{"action":"get_connection","description":"Minimal connection block for the preferred remote or package","href":"/v1/servers/io.github.inventor1975%2Fztl-judge/connection?target=mcpServers","arguments":{"name":"io.github.inventor1975/ztl-judge","target":"mcpServers"}},{"action":"search","description":"Find other servers by intent","href":"/v1/search?q={query}","arguments":{"q":"{query}"}}]}