M1-Checker