{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.inventor1975/ztl-judge","description":"Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.","title":"ZTL Judge","repository":{"url":"https://github.com/inventor1975/ztlstudio","source":"github"},"version":"1.1.0","websiteUrl":"https://studio.ztljudge.com","remotes":[{"type":"streamable-http","url":"https://api.ztljudge.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-11-05T09:44:05.698368Z","publishedAt":"2026-11-05T09:44:05.698368Z","updatedAt":"2026-11-05T09:44:05.698368Z","isLatest":true}}}