The checky source code can be accessed in either of the following ways: