Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.
Why do you think that https://github.com/ornicar/lila is a good alternative to D3-Chess