https://tee.redpill.ai forces confidential routing, but a base URL alone does not verify the
TEE from your machine. A verified client checks the workload attestation before sending model
traffic, binds TLS to a key in the attested keyset, and verifies the signed receipt for the exact
request and response bytes. curl and jq can inspect the artifacts; they cannot perform these
checks.
Agent tools, MCP servers, browser automation, and telemetry remain separate trust boundaries.
Node and Bun
/runtime export selects the pinned transport.
connectAci() verifies the attestation before sending model traffic and pins TLS to a key in the
attested workload keyset. Pass aci.fetch only to the client that uses this gateway; it records the
exact request and response wire digests. verifyReceipt() fetches the matching signed receipt,
verifies those digests, and verifies the cited upstream session. Audit a response before treating
its serving path as verified.
Release policy
requireProductionOs rejects development and unknown OS measurements. Without
acceptedComposeHashes, the client verifies that the measured compose ran in a genuine TDX
workload; it does not claim that RedPill reviewed that release.
For reviewed-release enforcement, load accepted hashes from authenticated release metadata and pair
compose appraisal with a dstack verifier result for the same quote (
is_valid: true). Never copy a
compose hash from the endpoint and trust it on first use.
What a passing audit proves
- the TDX quote binds the fresh challenge, workload keyset, and measured compose;
- the model request used hostname-validated TLS bound to an attested SPKI;
- the signed receipt binds the exact request and response bytes to that workload; and
- a required confidential upstream was verified and its cited session is valid.