在创建新技能、编辑现有技能或在部署前验证技能工作时使用——通过在编写前使用子代理进行测试来将TDD应用于流程文档,进行迭代直到能完全防止合理化
你将成为
适用于以下场景
使用形式化方法自动验证 Move 合约的正确性
通过编写形式化规范,及早捕获关键缺陷
证明复杂的 DeFi 协议满足全局不变量
在专家指导下修复失败的 Move Prover 证明
装备后的数字
经过验证的优势和可衡量的影响
通过形式化验证,在部署前捕获漏洞
自动化证明检查,加速安全审查
确保所有关键路径都有正式的规范说明
装备内容
文件、标签与三步安装
提示: 首次使用前请阅读文档与代码,确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Anthropic Claude API、模型、提示词工程、函数调用、视觉和最佳实践方面的专家。在anthropic、claude、api、prompt、function calling、vision、messages api、embeddings这些关键词上触发。