Check out shani agda (@shani