Adding an interface for the checker and also updated the documentation