UCI interface and in-check extension