之前我看到了一个IDE，但是忘了叫啥，UI和Vscode非常相似，右侧有评测点，官网上好像写着可扩展，还是轻量级的，请问这个是什么IDE?感谢各位大佬