add format.py and some.json