各位佬有好几个ssh服务器的时候，都是用什么工具开发的呢，目前再用vscode，但是感觉太卡了，有一些服务器还限制进程，一个server就占满了，还不方便用AI