Last month I bought the "DeckLink Mini Recorder 4K card" and try it with EasyWirship 7. The installation was straight forward, put the card in the computer, install the driver and it works
. It was directly available as feed in EasyWorship and the quality of the input is amazing
I recommend this card because it has a (HD) SDI input, so you can directly use a SDI cable with this card (handy when the camera is placed away from the computer). It contains also a HDMI input if you prefer that. In the software you can select which input you would like to use and the resolution.