Atire alguns dias e só então o código-fonte é compilado
A referência básica para o site oficial sobre a linha.
O principal problema:
1: sempre relatou erro de pré-instalação - vscode re-fazer o download do código-fonte, pode ser corrompido.
2: Baixar módulo individual não é para baixo - você pode obter através do fio add baixar manualmente.