MCP server

ZTL Judge

io.github.inventor1975/ztl-judge

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

Zero-trust logic judge: your AI writes a claim as a ZFL table, the ZTL core judges it.

Website Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Tools

3

Token cost

About 433 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http ztl-judge https://api.vitalyreznik.com/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.ztl-judge]
url = "https://api.vitalyreznik.com/mcp"

Gemini CLI

{"mcpServers":{"ztl-judge":{"httpUrl":"https://api.vitalyreznik.com/mcp"}}}

Cursor

{"mcpServers":{"ztl-judge":{"url":"https://api.vitalyreznik.com/mcp"}}}

VS Code

{"servers":{"ztl-judge":{"type":"http","url":"https://api.vitalyreznik.com/mcp"}}}

Antigravity

agy mcp add ztl-judge https://api.vitalyreznik.com/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"ztl-judge","server_url":"https://api.vitalyreznik.com/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"ztl-judge","server_url":"https://api.vitalyreznik.com/mcp"}

Tools

• examples ~54 tokens
  Worked examples: questions already written as ZFL documents, ready to judge.
• judge ~322 tokens
  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 wit
• language ~57 tokens
  The ZFL language: the columns of a row, the document fields, their meaning and rules.

Browse

• GitHub tools
• GitHub and code hosting

Related MCP servers

• Paylyte
  Agent Trust Score earned through Proof of Outcome. Browse and buy as paylyte-core.
• Zero Core Verify
  Post-tx outcome verification via LLM-as-judge. Zero Core Verify.
• Icme Preflight
  Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
• Ross ERP Data Dictionary
  Structure-only reference for the vanilla Ross ERP 8.0 schema, UI menu tree, and program catalog.
• Biii
  Fail-closed safe-to-pay verdicts on Base: known-bad wallets, look-alike tokens, repeat rug funders.
• KnowJudges
  Source-linked research on U.S. judges, courts, cases, and judicial analytics.
• OmniDome by HumanMirror
  Free agent home for live work, trust, repeat return and high-throughput fleet routing.
• Zero Core Tools
  Web scraping, code review, content gen, sentiment. Zero Core Tools.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.inventor1975/ztl-judge.svg)](https://aptlynx.net/servers/io.github.inventor1975/ztl-judge)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents