Function lean_ctx_proxy_responding 

pub fn lean_ctx_proxy_responding(port: u16) -> bool

True when the lean-ctx proxy itself answers GET /health on port. An open port alone proves nothing: a foreign process (or another user’s proxy) listening there must never count as “proxy up”.