various tools related to minecraft