{"$schema":"https://verifymcp.io/schemas/trust-report.json","schemaVersion":1,"license":{"name":"CC BY-NC 4.0","url":"https://creativecommons.org/licenses/by-nc/4.0/"},"generatedAt":"2026-11-05T16:24:56.620Z","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2","markdownUrl":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2.md","server":{"slug":"inventor1975-ztl-judge","name":"ZTL Judge","registryName":"io.github.inventor1975/ztl-judge","description":"Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.","registryStatus":"active","deletedAt":null,"statusMessage":null,"liveness":"live","publisher":{"class":"unknown","claimed":false}},"component":{"slug":"api-2","type":"remote","identifier":"https://api.ztljudge.com/mcp","withdrawn":false,"url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2","version":"1.1.0","transport":null,"scoredAt":"2026-11-05T11:00:20.398Z"},"score":{"total":64,"tier":"medium","status":"scored","weekDelta":null,"history":[{"date":"2026-11-05","total":64},{"date":"2026-11-04","total":64},{"date":"2026-11-03","total":64},{"date":"2026-11-02","total":63},{"date":"2026-11-01","total":63},{"date":"2026-10-31","total":62},{"date":"2026-10-30","total":62}]},"categories":[{"name":"Endpoint Security","score":63,"verdict":"fail","reasons":["The endpoint's TLS certificate is valid, in date, and uses a strong key.","Authorisation not fully verified: no authorisation is required to call this server, and 6 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe.","HTTPS is enforced; there's no plaintext access path.","The HSTS (Strict-Transport-Security) header is present.","DNSSEC check failed: this domain isn't protected by DNSSEC."],"codes":[{"code":"tls.valid","args":{}},{"code":"auth.none_undeclared","args":{"undeclared_tools":"6"}},{"code":"https.enforced","args":{}},{"code":"headers.hsts_present","args":{}},{"code":"dnssec.absent","args":{}}]},{"name":"Transport & Reachability","score":100,"verdict":"pass","reasons":["Verified streamable-http transport via a live MCP handshake."],"codes":[{"code":"transport.verified","args":{"transport":"streamable-http"}}]},{"name":"Schema Quality & AI Usability","score":56,"verdict":"fail","reasons":["AI-judged instruction clarity (good).","Context-footprint check failed: tool/resource definitions use about 1106 tokens (~184/item across 6 items; 6 tools + 0 resources), over budget; trim descriptions and params.","Usage-examples check failed: none of the tools include examples."],"codes":[{"code":"schema.ai_quality","args":{"band":"good"}},{"code":"schema.footprint_heavy","args":{"avg":"184","items":"6","tools":"6","tokens":"1106","resources":"0"}},{"code":"schema.examples_absent","args":{}}]},{"name":"Stability & Change Management","score":20,"verdict":"partial","reasons":["Stability observed for 6 of 30 days with no destabilising changes; credit accrues until the full window elapses."],"codes":[{"code":"stability.building_history","args":{"days":"6"}}]},{"name":"Tool Coverage","score":71,"verdict":"fail","reasons":["100% of tools have a non-trivial description (not blank, and not just the tool's name).","0% of tool parameters carry a description.","Structured output schemas are declared (100% of tools); any adoption earns full credit."],"codes":[{"code":"toolquality.descriptions","args":{"pct":"100"}},{"code":"toolquality.param_docs","args":{"pct":"0"}},{"code":"toolquality.output_present","args":{"pct":"100"}}]},{"name":"Tool Safety","score":100,"verdict":"pass","reasons":["No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.","We read all 6 captured tool definition(s), and no name or description among them implies an irreversible operation.","An AI judge read all 7 captured unit(s) of tool text and found none that tries to manipulate the model reading it."],"codes":[{"code":"toolsafety.injection_clean","args":{}},{"code":"toolsafety.destructive_none","args":{"tools":"6"}},{"code":"toolsafety.manipulation_clean","args":{"units":"7","judged":"7"}}]},{"name":"Capabilities","score":100,"verdict":"pass","reasons":["Implements a current MCP spec version (2026-07-28)."],"codes":[{"code":"protocol.current","args":{"version":"2026-07-28"}}]}],"inconclusive":["Authorisation not fully verified: no authorisation is required to call this server, and 6 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe."],"malware":[],"components":[{"slug":"api-2","type":"remote","identifier":"https://api.ztljudge.com/mcp","withdrawn":false,"score":64,"current":true,"url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2","markdownUrl":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2.md"}],"facts":[{"label":"Endpoint","value":"https://api.ztljudge.com/mcp"},{"label":"Transports","value":"streamable-http"},{"label":"Auth","value":"none"},{"label":"Version","value":"1.1.0"}],"install":{"available":true,"bundleSha256":null},"tools":[{"name":"language","title":null,"description":"The ZFL language: the columns of a row, the document fields, their meaning and rules.","inputs":[],"outputs":[],"hasOutputSchema":true,"hasExamples":false,"tokenEstimate":27},{"name":"examples","title":null,"description":"Worked examples: questions already written as ZFL documents, ready to judge.","inputs":[],"outputs":[],"hasOutputSchema":true,"hasExamples":false,"tokenEstimate":22},{"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.","inputs":[{"name":"document","type":null,"required":true,"description":null}],"outputs":[],"hasOutputSchema":true,"hasExamples":false,"tokenEstimate":226},{"name":"check_steps","title":null,"description":"Check an algebra derivation step by step: does each step keep exactly the same solutions?\n\n    Args:\n        request: {\"equations\": [\"x^2 = x\", \"x = 1\"], \"var\": \"x\", \"domain\": [lo, hi] or null,\n            \"domain_verified\": true}. Each equation is the next step; one unknown; + - * / ^ with whole powers.\n\n    Returns:\n        The chain's verdict (its weakest step) and each step's: EARNED = same solutions on the domain;\n        ON CREDIT = the same, on an unverified domain; REFUTED = a solution is lost (e.g. cancelling a factor that\n        can be 0) or gained (e.g. clearing a denominator where the original was undefined), with the witness and\n        the cause; E = the step divides by an expression that is 0 for every value. A request above the public\n        limits is refused with the reason (ok: false, refused).","inputs":[{"name":"request","type":null,"required":true,"description":null}],"outputs":[],"hasOutputSchema":true,"hasExamples":false,"tokenEstimate":222},{"name":"judge_naive","title":null,"description":"Judge sets defined by a property, self-reference allowed (Russell's set, a web of trust, a policy rule).\n\n    Args:\n        universe: {\"sets\": {name: {\"list\": [...]} | {\"data\": {name: \"T\"|\"F\"|\"Z\"}} | {\"abs\": formula}},\n            \"claims\": [formula, ...]}. Formulas: [\"in\", a, S], [\"not\", f], [\"and\"|\"or\"|\"imp\"|\"iff\", f, g],\n            [\"all\"|\"ex\", \"y\", f], [\"eq\", S, T]; an abs set's own variable is \"x\". Every name is also an object.\n\n    Returns:\n        Per set: the members and non-members the definitions ground, and a passport for each membership they\n        leave undecided — PARADOX (no stipulation can repair it), UNDERDETERMINED (consistent; a decision is\n        owed), INTRINSIC, INPUT (verify the given cell), DOWNSTREAM (inherits a quarantine). Per claim: EARNED /\n        REFUTED / EARNED IF STABLE / REFUTED IF STABLE / OPEN, the cells it rests on with their passports, and for\n        a universal claim the instances left undecided. Oversized requests are refused with the reason.","inputs":[{"name":"universe","type":null,"required":true,"description":null}],"outputs":[],"hasOutputSchema":true,"hasExamples":false,"tokenEstimate":289},{"name":"checker_examples","title":null,"description":"Ready requests for check_steps and judge_naive (the kernels' own examples).","inputs":[],"outputs":[],"hasOutputSchema":true,"hasExamples":false,"tokenEstimate":24}],"toolsTruncatedAtCapture":false,"diagnostics":{"capturedAt":"2026-11-05T11:00:20.000Z","track":"remote","endpoint":"https://api.ztljudge.com/mcp","declaredUrl":null,"truncated":false,"tls":{"outcome":"valid","label":"Valid","version":"TLS 1.3","cipherSuite":"TLS_AES_128_GCM_SHA256","chainError":null,"certificates":[{"subject":"CN=api.ztljudge.com","issuer":"CN=YE1,O=Let's Encrypt,C=US","notBefore":"2026-10-29T21:55:58Z","notAfter":"2027-01-27T21:55:57Z","keyType":"ECDSA","keyBits":256,"isCa":false},{"subject":"CN=YE1,O=Let's Encrypt,C=US","issuer":"CN=Root YE,O=ISRG,C=US","notBefore":"2025-09-03T00:00:00Z","notAfter":"2028-09-02T23:59:59Z","keyType":"ECDSA","keyBits":384,"isCa":true},{"subject":"CN=Root YE,O=ISRG,C=US","issuer":"CN=ISRG Root X2,O=Internet Security Research Group,C=US","notBefore":"2026-05-13T00:00:00Z","notAfter":"2032-09-02T23:59:59Z","keyType":"ECDSA","keyBits":384,"isCa":true},{"subject":"CN=ISRG Root X2,O=Internet Security Research Group,C=US","issuer":"CN=ISRG Root X1,O=Internet Security Research Group,C=US","notBefore":"2026-05-13T00:00:00Z","notAfter":"2032-09-02T23:59:59Z","keyType":"ECDSA","keyBits":384,"isCa":true}]},"dnssec":{"result":"insecure","label":"Not signed","name":"api.ztljudge.com.","steps":[{"zone":".","outcome":"verified","label":"Verified"},{"zone":"com.","outcome":"verified","label":"Verified"},{"zone":"ztljudge.com.","outcome":"insecure_proven","label":"Unsigned (proven)"}]},"auth":{"outcome":"none","label":"No authorisation required","gate":null,"gateLabel":null,"status":200,"authorizationServers":[]},"httpsRedirect":{"outcome":"https_enforced","label":"HTTPS enforced","status":301},"transports":[{"transport":"streamable-http","outcome":"verified","label":"Verified","status":200,"followed":false}],"provenance":null,"installScripts":[],"installScriptsTotal":null,"vulnerabilities":[],"vulnerabilitiesTotal":null,"dependencies":null},"mismatches":[],"changelog":{"trackingSince":"2026-10-30","recent":[{"id":"chg_01a1ab5d-e756-7bc2-9dc6-023695c41771","kind":"check.measure","summary":"Schema quality (519 → 1106)","materiality":"functional","direction":"regression","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab5d-e756-7bc2-9dc6-023695c41771"},{"id":"chg_01a1ab5d-e759-7537-a7be-c8959c861b07","kind":"server.instructions_changed","summary":"The server rewrote its instructions, which are the text every model session reads","materiality":"security","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab5d-e759-7537-a7be-c8959c861b07"},{"id":"chg_01a1ab5d-e758-7741-861e-1b9c3f2da444","kind":"server.version_changed","summary":"Server version (eafe892 → d0287ad)","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab5d-e758-7741-861e-1b9c3f2da444"},{"id":"chg_01a1ab1b-72fb-792a-adf8-a7319a3f2b7e","kind":"tool.added","summary":"New tool “judge_naive”","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab1b-72fb-792a-adf8-a7319a3f2b7e"},{"id":"chg_01a1ab1b-72fb-73ac-9ea0-b8b0a8a6e45d","kind":"tool.added","summary":"New tool “checker_examples”","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab1b-72fb-73ac-9ea0-b8b0a8a6e45d"},{"id":"chg_01a1ab1b-72f9-79ce-945b-29b26ea38490","kind":"check.measure","summary":"Schema quality (519 → 1054)","materiality":"functional","direction":"regression","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab1b-72f9-79ce-945b-29b26ea38490"},{"id":"chg_01a1ab1b-72fa-7ca2-938f-5d9febbc9904","kind":"tool.added","summary":"New tool “check_steps”","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab1b-72fa-7ca2-938f-5d9febbc9904"},{"id":"chg_01a1ab1b-72fb-7db4-b4ec-d7cdf69c540a","kind":"server.version_changed","summary":"Server version (eaf5659 → eafe892)","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-05","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1ab1b-72fb-7db4-b4ec-d7cdf69c540a"},{"id":"chg_01a1a0c5-f445-7b8d-b9d4-bf9a20664bd7","kind":"server.version_changed","summary":"Server version (2a723b2 → eaf5659)","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-03","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1a0c5-f445-7b8d-b9d4-bf9a20664bd7"},{"id":"chg_01a1a0c5-f44b-746b-aca9-5655bda24351","kind":"score.total_changed","summary":"Trust score (63 → 64)","materiality":"functional","direction":"improvement","scoreDelta":1,"occurredOn":"2026-11-03","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1a0c5-f44b-746b-aca9-5655bda24351"},{"id":"chg_01a1967a-beb0-7e8a-b932-6d12c387035b","kind":"score.total_changed","summary":"Trust score (62 → 63)","materiality":"functional","direction":"improvement","scoreDelta":1,"occurredOn":"2026-11-01","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1967a-beb0-7e8a-b932-6d12c387035b"},{"id":"chg_01a1967a-beaf-7ea8-9a41-bc7ae7ed7b90","kind":"server.version_changed","summary":"Server version (5886c32 → 2a723b2)","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-11-01","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a1967a-beaf-7ea8-9a41-bc7ae7ed7b90"},{"id":"chg_01a19152-72a2-7523-bc93-11512dca8bf8","kind":"check.reverified","summary":"Stability (unverified → 0.03)","materiality":"functional","direction":"improvement","scoreDelta":null,"occurredOn":"2026-10-31","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a19152-72a2-7523-bc93-11512dca8bf8"},{"id":"chg_01a18a72-670d-7c10-b584-cd2f623ae854","kind":"score.first_scored","summary":"First indexed and scored","materiality":"functional","direction":"neutral","scoreDelta":null,"occurredOn":"2026-10-30","url":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2#chg-chg_01a18a72-670d-7c10-b584-cd2f623ae854"}],"truncated":false,"feedUrl":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2/changelog.json"},"links":{"html":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2","markdown":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2.md","changelogJson":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2/changelog.json","changelogRss":"https://verifymcp.io/servers/inventor1975-ztl-judge/api-2.xml","external":[{"label":"Remote endpoint","href":"https://api.ztljudge.com/mcp"},{"label":"Repository","href":"https://github.com/inventor1975/ztlstudio"},{"label":"Website","href":"https://studio.ztljudge.com/"}]}}