JSON editor for specifications introduction