[
  {
    "name": "bash",
    "description": "Execute a bash command safely in the sandbox",
    "parameters": {
      "command": "string - the bash command to execute",
      "description": "string - why you're running this command"
    }
  },
  {
    "name": "read_file",
    "description": "Read contents of a file",
    "parameters": {
      "path": "string - relative path to file",
      "description": "string - why you're reading this"
    }
  },
  {
    "name": "write_file",
    "description": "Write content to a file",
    "parameters": {
      "path": "string - relative path to file",
      "content": "string - content to write",
      "description": "string - why you're creating this"
    }
  },
  {
    "name": "list_files",
    "description": "List files in a directory",
    "parameters": {
      "directory": "string - path to directory (default: .)",
      "description": "string - why you're listing"
    }
  }
]