jq is an awesome tool to play with JSON data at the commandline. It is akin to the Unix text manipulation tools, but for JSON.
$ sudo apt install jq
$ cat ugly.json | jq '.'
What this command is doing is piping the JSON file to jq and then asking it to filter everything, but jq formats everything it touches, so we get pretty JSON formatting out from it.
I have found this useful to format huge JSON files. jq is much faster at this job compared to the json.tool in Python.
$ cat foobar.json | jq '.["records"]["name"]'
Note the use of single quotes to encapsulate the expression and use of double quotes inside to specify keys in dictionaries.
$ cat foobar.json | jq '. | [.name, .time, .percent] | @csv' > foobar.csv
Tried with: jq 1.5 and Ubuntu 16.04