Yes, the editor itself uses Monaco. That dependency is listed in the README

When I said "browser-based IDE", I meant the environment around it: project handling, compilation with arduino cli, the UI, the serial monitor, and the integration with the emulator and circuit simulation

Monaco is just the editing component