ZTL Judge
Zero-trust logic judge: your AI writes a claim as a ZFL table, the ZTL core judges it.
使うべきか
品質と安全性
検出事項（1）
- LOWTool 'language' description lacks action verblanguage 内
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `claude_desktop_config.json` ファイルに追加してください:
{
"mcpServers": {
"ztl-judge": {
"url": "https://api.vitalyreznik.com/mcp"
}
}
}リモートエンドポイント
https://api.vitalyreznik.com/mcpstreamable-httpできること
ツール一覧
ツール（3）
⚪language
The ZFL language: the columns of a row, the document fields, their meaning and rules.
入力スキーマ
{
"type": "object",
"properties": {},
"title": "languageArguments"
}出力スキーマ
{
"type": "object",
"additionalProperties": true,
"title": "languageDictOutput"
}⚪examples
Worked examples: questions already written as ZFL documents, ready to judge.
入力スキーマ
{
"type": "object",
"properties": {},
"title": "examplesArguments"
}出力スキーマ
{
"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.
入力スキーマ
{
"type": "object",
"properties": {
"document": {
"anyOf": [
{
"additionalProperties": true,
"type": "object"
},
{
"type": "string"
}
],
"title": "Document"
}
},
"required": [
"document"
],
"title": "judgeArguments"
}出力スキーマ
{
"type": "object",
"additionalProperties": true,
"title": "judgeDictOutput"
}コミュニティ
エビデンス