VLC-iOS should be able to stream to Airplay with the device locked
VLC should be able to stream to the Apple TV with the device locked https://forum.videolan.org/viewtopic.php?f=36&t=117427
VLC should be able to stream to the Apple TV with the device locked https://forum.videolan.org/viewtopic.php?f=36&t=117427
VideoLAN code repository instance