生物信息学工作流的Latch平台。使用Latch SDK、@workflow/@task 装饰器构建流水线，部署无服务器工作流、LatchFile/LatchDir，集成 Nextflow/Snakemake。
你将成为
适用于以下场景
使用TDD驱动的文档，快速构建新的AI技能
通过子代理测试编辑并增强现有技能
在生产环境部署前，验证技能的绝对可靠性
不断磨练技能，直到它强大到无法用任何理论或借口来解释。
装备后的数字
经过验证的优势和可衡量的影响
通过自动化子智能体测试，缩短技能验证时间
通过迭代测试打造无懈可击的文档
通过预验证的技能，减少上线后问题
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。