@devicescript/plugin (npm): DeviceScript Language Server Plugin
Keywords: devicescript|embedded|esp32|iot|jacdac|rp2040|typescript