标签：验证工具

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

一个符合模型上下文协议（MCP）的服务端，提供银行卡片验证、手机号验证、文本笔记示例和笔记摘要提示等功能。支持STDIO和SSE两种运行方式，适合npm部署与本地调试。