Can I use platformio with Eclipse Theia?
If yes, what is the extension ? (VSX ?)
No. This seems to rely on a long standing and open issue, as referenced by https://github.com/platformio/platformio-vscode-ide/issues/3196. Still, a sum of 13 desktop and clied IDEs are supported per the documentation.