General Tools

vitalyreznik.com

Provides general-purpose tools through the Model Context Protocol.

1 endpoint3 known toolsFirst detected September 29, 2026Last detected September 29, 2026

ENDPOINT 1

https://api.vitalyreznik.com/mcp

No auth detected

MCP server metadata

Name: ztl-judge
Version: e46a034

Capabilities

experimentalpromptsresourcestools

Server instructions

ZTL judges a claim written as a ZFL table. Call `language` for the columns and rules, see `examples` for complete documents, then call `judge`. A compound claim is judged T or F; a claim that is a single name answers with that name's own value, which is Z while it is unverified or rests on something unverified. Put the formula itself in the claim for a T/F verdict.

Known tools 3

language

The ZFL language: the columns of a row, the document fields, their meaning and rules.

Inferred read-only

examples

Worked examples: questions already written as ZFL documents, ready to judge.

Inferred read-only

judge

Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives.

Inferred read-only

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

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

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: ztl-judge
Remote MCP URL: https://api.vitalyreznik.com/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

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

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

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

Generic MCP

Client-specific MCP configuration

{
  "name": "ztl-judge",
  "transport": "streamable-http",
  "url": "https://api.vitalyreznik.com/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

TRUST AND VERIFICATION EVIDENCE

Loading Trust v2 evidence…

Checking the associated registrable domain. The BuiltWith key remains server-side.

Indexed

Evidence is source-attributed and does not guarantee that a third-party server is safe. Risk labels are conservative metadata heuristics.