工具 JSON 格式化、压缩、修复,树形编辑与时间戳转换