この記事は実際に研究室でESP32をPCに接続しなくても動作される方法をメモとして書くつもりです。
まずはhttp://micropython.org/webrepl/
このリンクに入ります。入った後に下の図のように左上のところに自分のデバイスのIPアドバイスを入れておきます。そしてconnectをクリックします。
右側のSend a fileのところに実行するファイルを選択してからSend to deviceをクリックします。
実行したいファイルを実行する時にはexecfile("ファイル名")を入力してからenter。
lsのような機能がここでImport os--os.listdir()があります。
詳細はこのリンクを参照すればよいでしょう。https://note.nkmk.me/python-listdir-isfile-isdir/
他にもhelp('modules')のようなコマンドがあります。
コンパイラやコードを書くソフトウェアが何でもいいです。ここでただ編集済みのファイルを伝送するだけです。