ZTL Judge
Zero-trust logic judge: your AI writes a claim as a ZFL table, the ZTL core judges it.
Sollte ich dies verwenden
Qualität und Sicherheit
Befunde (1)
- LOWTool 'language' description lacks action verbin language
Basierend auf einer automatisierten Analyse der Tool-Definitionen und der Einhaltung des Protokolls.
Kontextkosten
Dies ist die ungefähre Anzahl der Tokens, die jedes Mal verbraucht werden, wenn die Tools des Servers in den Kontext eines Modells geladen werden. Höhere Werte verringern die Aufmerksamkeit, die für andere Aufgaben verfügbar ist.
Installieren
Installation mit einem Klick
Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:
{
"mcpServers": {
"ztl-judge": {
"url": "https://api.vitalyreznik.com/mcp"
}
}
}Remote-Endpunkte
https://api.vitalyreznik.com/mcpstreamable-httpWas es kann
Tool-Inventar
Tools (3)
⚪language
The ZFL language: the columns of a row, the document fields, their meaning and rules.
Eingabe-Schema
{
"type": "object",
"properties": {},
"title": "languageArguments"
}Ausgabe-Schema
{
"type": "object",
"additionalProperties": true,
"title": "languageDictOutput"
}⚪examples
Worked examples: questions already written as ZFL documents, ready to judge.
Eingabe-Schema
{
"type": "object",
"properties": {},
"title": "examplesArguments"
}Ausgabe-Schema
{
"type": "object",
"additionalProperties": true,
"title": "examplesDictOutput"
}🟢judge(document)
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.
Eingabe-Schema
{
"type": "object",
"properties": {
"document": {
"anyOf": [
{
"additionalProperties": true,
"type": "object"
},
{
"type": "string"
}
],
"title": "Document"
}
},
"required": [
"document"
],
"title": "judgeArguments"
}Ausgabe-Schema
{
"type": "object",
"additionalProperties": true,
"title": "judgeDictOutput"
}Community
Nachweis