I have a bit of a love/hate relationship with the Arduino ... back under the STM32/tools directory is another directory with the compiler that the IDE uses to compile your code.

The project, called arduino-cli, is the first time that the official toolchain has departed from the Java-based editor known as the Arduino IDE ... more easily. The code is open source, but ...