VS Code 的 F* 语言扩展

vsfstar 是一个 Visual Studio Code 扩展，专为 F* 语言设计，集成了对 F* 编译器的支持。它通过语言服务器协议（Language Server Protocol，LSP）实现编辑器与语言服务之间的通信，从而在 VS Code 中提供补全、诊断等 IDE 能力。项目语言为 TypeScript，topics 覆盖 fstar、ide、language-server-client、lsp、vscode-extension 等方向。适合正在使用 F* 做形式化验证或相关开发、希望在 VS Code 中获得原生编辑支持的开发者。上手方式是从市场或仓库安装该扩展后，在 VS Code 中打开 F* 项目即可使用。