Deterministic verifier: LLM proposes, graph verifies. Sub-ms, offline, 0 tokens.
Call this server's tools from your browser. Nothing to install.
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
We haven't seen a tool list from this server yet.