"Dafny验证"标签的搜索结果

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