ZTL Judge

io.github.inventor1975/ztl-judgeVersion 1.1.0

Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.

Status

Check pendingNo check has run yet. First checks run within 24 hours.

We could not refresh it, so this page shows the last copy.

Data from the official MCP Registry, checked by run.zero. How we check

Streamable HTTP

https://api.ztljudge.com/mcpCheck pending

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

1
2
3

Settings > Connectors > Add custom connector
Name: ztl-judge
Remote MCP server URL: https://api.ztljudge.com/mcp

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

code --add-mcp '{"name":"ztl-judge","type":"http","url":"https://api.ztljudge.com/mcp"}'

Built your own server? run.zero hosts MCP servers on European infrastructure.

Tool list appears after the first check.

Registry status: Active
Published: Nov 5, 2026
Updated: Nov 5, 2026
Website: https://studio.ztljudge.com/⁠ (opens in a new tab)
Repository: https://github.com/inventor1975/ztlstudio⁠ (opens in a new tab)
Categories (suggested): SecuritySuggested categories are assigned automatically from the registry text and may be wrong. Verified operators can correct them.
GDPR: Not declared