The solver is an outbound-only process (relay WebSocket + kernel API); it exposes no HTTP API.
Kernel API: preprod.api-zswap.zkdojo.com/v1/health