Zero-trust logic judge: your AI writes a claim as a ZFL table, the ZTL core judges it.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
Tool list from our last check. Connect live to refresh it.
Worked examples: questions already written as ZFL documents, ready to judge.
This tool takes no arguments.
This tool isn't marked read-only, so it may change something on the server or in an account you connected.
Worked examples: questions already written as ZFL documents, ready to judge.
No arguments.
{
"type": "object",
"title": "examplesArguments",
"properties": {}
}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.
| Argument | Type | Description |
|---|---|---|
| document* | any |
{
"type": "object",
"title": "judgeArguments",
"required": [
"document"
],
"properties": {
"document": {
"anyOf": [
{
"type": "object",
"additionalProperties": true
},
{
"type": "string"
}
],
"title": "Document"
}
}
}The ZFL language: the columns of a row, the document fields, their meaning and rules.
No arguments.
{
"type": "object",
"title": "languageArguments",
"properties": {}
}