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"
}커뮤니티
증거