I just want to mention in terms of DirecTV they are the closest OTT provider to a traditional cable company. They also, by far in my opinion, have the best picture and sound quality. If you don't need a lot of channels, you can go with one of their inexpensive genre packs. If you want a lot of channels and a full cable package, you can get that. and they tend to have incentives for the first 24 months, then you do the retention/cancellation dance and get the price back down.
As for an encoder, I would highly recommend going with a 4 or 5 port device over a single port any day of the week, in spite of the cost. You'll find very quickly you'll want to scale up to at least 3 or 4 tuners. Depending on family size, you might even want five or six. The nice thing about DirecTV is you get 20 streams in home.
The main reason to choose an Osprey box over a standard Android box for them is not cost. it is simply tuning speed, in my opinion. and also, I feel like the picture is just a touch sharper. The Osprey boxes are essentially cable boxes running Android 11. They're also still surprisingly being given out by DirecTV, and the Gemini Air devices are no longer being supported. I just signed up for a new DirecTV package. if you read the Osprey thread, you'll see my whole saga that I solved recently. I actually just received a new old stock Osprey box on lease from DirecTV. So they are still actively supporting these boxes! Also, the DirecTV app on Android is written in React Native and quite honestly a little buggy and without an am force-stop -S, in my opinion, doesn't always tune reliably. For all I know, they could have fixed that, though.
Both ADBTuner and ah4c work very well with the Osprey boxes. Another unique thing about Osprey boxes is they can tune using channel numbers rather than deep links, which is extremely unique and not common on any other device. So, if deep linking were to break, sending commands using bash and ah4c to input a channel number is possible and quite durable.
ws-scrcpy is also useful for remote management and great work was done by @bnhf to get this working for ADBTuner and it's built in to ah4c.
I would say for those who are looking for the easiest management, go with ADBTuner. For those who have an soft spot for open source or are looking for something a little bit more interesting to tinker with, go with ah4c. I think both have their place and have their advantages and disadvantages. ah4c can only tune one app per container but is heavily extensible through bash scripting. ADBTuner can handle multiple sources but is not as easily automated as it is limited to it's json based configuration process which while extremely well designed cannot replace bash entirely. I think both have their place.
I have 10 Osprey boxes (for giggles, not that I need 10) and 2 LinkPi ENC5-V2 encoders. I would suggest going with the LinkPi line, most seem to prefer those and after trying a Uraycoder and a no name it's very clear why. They do work well right out of the box and are super easy to maintain. I suggest buying from Amazon or the US Distributor YouYeeToo.