Loading MCP servers…
MCP servers
ZTL Judge
Zero-trust logic judge: ZFL claims, algebra derivation steps, sets defined by a property.
Remotes
Streamable HTTP
https://api.ztljudge.com/mcpclaude mcp add --transport http ztl-judge https://api.ztljudge.com/mcpPackages
This server publishes no installable package.