"Dafny验证" 标签

Dafny MCP服务器提供了一个工具，允许LLM客户端调用Dafny验证器来验证Dafny代码片段。