add lib/tools.py