misc python tool set