[
  {
    "label": "clippy",
    "command": "./script/clippy",
    "args": []
  }
]