Precise measurements of the branching ratios (BRs) for the flavor-changing neutral current decays K -> pi nu anti-nu can provide unique constraints on CKM unitarity and, potentially, evidence for new physics. It is important to measure both decay modes, K+ -> pi+ nu anti-nu and KL -> pi0 nu anti-nu, since different new physics models affect the rates for each channel differently. For the charged channel, the NA62 experiment at the CERN SPS is currently collecting data and expects to measure the BR to within 10% by the end of LHC Run 3. For the neutral channel, the BR has never been measured. KOTO, an experiment at J-PARC, should have enough data for the first observation of the decay by 2021. We are designing the KLEVER experiment to measure BR(KL -> pi0 nu anti nu) to ~20% using a high-energy neutral beam at the CERN SPS starting in Run 4. The boost from the high-energy beam facilitates the rejection of background channels such as KL -> pi0 pi0 by detection of the additional photons in the final state. On the other hand, the layout poses particular challenges for the design of the small-angle vetoes, which must reject photons from KL decays escaping through the beam pipe amidst an intense background from soft photons and neutrons in the beam. Background from Lambda -> n pi0 decays in the beam must also be kept under control. Findings from our design studies will be presented, with an emphasis on the challenges faced and the potential sensitivity for the measurement of BR(KL -> pi0 nu anti nu).