We use a PS5 for exactly the purpose you describe, sans casting. I am not sure how many of the streaming platforms have an app for it, but the ones we like are all here. For casting we use a Chromecast on another HDMI port. We very rarely cast though.