A wrapper tool for Forcheck