Made locally runnable version, with format checking, and everything else working, locally