标签：模型验证

集成Google Gemini CLI的MCP服务器，为开发工作流提供AI二次意见和验证服务。

用于模型上下文协议的Dafny验证工具，可与Claude一起使用。