{"id":"e2c4d172-67a1-4aa6-96da-b4cfe6b17778","shortId":"B96VJ5","kind":"mcp","title":"ZTL Judge","tagline":"Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.","description":"Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.","tags":["github","inventor1975","ztl","judge"],"capabilities":["mcp","transport-streamable-http","remote-server"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://api.ztljudge.com/mcp","protocol":"mcp","transport":"streamable-http","auth":{"type":"mcp","details":{"transport":"streamable-http","remote_url":"https://api.ztljudge.com/mcp"}},"qualityScore":"0.450","qualityRationale":"deterministic score 0.45 from registry signals: · indexed on anthropic_mcp · remote streamable-http","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-11-06T06:28:06.118Z","embedding":null,"createdAt":"2026-10-29T23:25:57.661Z","updatedAt":"2026-11-06T06:28:06.118Z","lastSeenAt":"2026-11-06T06:28:06.118Z","tsv":"'algebra':10,25 'claim':9,24 'defin':14,29 'deriv':11,26 'judg':2,7,22 'logic':6,21 'mcp' 'properti':17,32 'remote-server' 'set':13,28 'step':12,27 'transport-streamable-http' 'trust':5,20 'zero':4,19 'zero-trust':3,18 'zfl':8,23 'ztl':1","prices":[{"id":"f7a90f35-fa8e-4de6-bd2a-5872f6af19d9","listingId":"e2c4d172-67a1-4aa6-96da-b4cfe6b17778","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"streamable-http","remote_url":"https://api.ztljudge.com/mcp"},"createdAt":"2026-10-29T23:25:57.661Z"}],"sources":[{"listingId":"e2c4d172-67a1-4aa6-96da-b4cfe6b17778","source":"anthropic_mcp","sourceId":"io.github.inventor1975/ztl-judge:1.1.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-10-29T23:25:57.661Z","lastSeenAt":"2026-11-06T06:28:06.118Z"}],"details":{"listingId":"e2c4d172-67a1-4aa6-96da-b4cfe6b17778","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"1.1.0","transport":"streamable-http","remote_url":"https://api.ztljudge.com/mcp","server_name":"io.github.inventor1975/ztl-judge","server_title":"ZTL Judge"},"updatedAt":"2026-11-06T06:28:06.118Z"}}