标签：IDE协议

一个提供F* IDE协议前端支持的MCP服务器，支持类型检查、符号查找等IDE功能。