Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。
你将成为
适用于以下场景
使用自动公式和专业格式创建复杂的财务模型
分析销售数据，并使用数据透视表和图表生成交互式仪表板
维护实时库存表，具备自动库存计算和警报功能
将原始数据转换为具有一致布局和公式的规范化报告
装备后的数字
经过验证的优势和可衡量的影响
通过自动化的格式，在数分钟而非数小时内生成复杂的电子表格。
利用 AI 驱动的验证和自动重算功能，杜绝公式错误
无需手动处理，即可从原始数据中即时生成洞察与可视化图表
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Aptos上Move智能合约测试专家，包括单元测试、集成测试、Move Prover形式化验证、调试策略和测试覆盖率。会被move test、unit test、integration test、move prover、formal verification、debug、coverage、assert、expect这些关键词触发
验证 OpenAPI、Swagger 和 GraphQL 架构与后端实现是否匹配。检测破坏性更改、生成 TypeScript 客户端，并确保 API 文档保持同步。在处理 API 规范文件（.yaml、.json、.graphql）、审查 API 变更、生成前端类型或验证端点实现时使用。