We propose a novel methodology for solving Heterogeneous Agents New Keynesian (HANK) models with aggregate uncertainty and the Zero Lower Bound (ZLB) on nominal interest rates. Our efficient solution strategy combines the sequence-state Jacobian methodology in Auclert et al. (2021) with a...