I like the direction
Hackerrank also has a live environment.
I would personally aim towards something like the devcontainers (ide’s in the browser) that some people have been adding to github repos, so that the developer can create a full dune file using whatever libraries that they want.