... Or other investiture

Tja.

Ohne irgendeine Ahnung von der gesamten Thematik zu haben: Die Antwort ist immer Geld.

Wenn der Lehrer nach Korrekturzeit bewertet.

What do you mean? rustfmt is the de facto standard and is easily run using cargo fmt. Most projects use it along with clippy, the standard linter.

Recently tried biome for a web project. It's a combined linter and formatter, and it's so good. Compatible with prettier too.

Das Problem ist doch, dass es immer bei den Lehrern liegt, so etwas umzusetzen.
Das heißt, die fertige und kommerziell unterstützte Lösung wird meist gewinnen. Letztendlich kostet alles die Lehrer Zeit, von der sie ohnehin schon zu wenig haben.

Genau wie die IT gehört so etwas Schulenübergreifend aufbereitet und bereitgestellt, dann kann man auch mehr auf Open-Source setzen.