some useful tools about python