根据官方的Move Book代码质量检查清单分析Move语言包。在审查Move代码、检查Move 2024 Edition合规性或分析Move包的最佳实践时使用此技能。当处理.move文件或Move.toml清单时会自动激活。
你将成为
适用于以下场景
预测新药候选物的吸收、分布、代谢和排泄
在药物开发早期识别潜在毒性，以减少失败率
模拟化合物与生物靶点之间的分子相互作用
在标准化治疗数据集上比较模型性能
装备后的数字
经过验证的优势和可衡量的影响
获取经过预处理的资料集，显著减少数据准备时间
使用支架切分，确保模型能够泛化到新的化学结构
AI就绪数据集可最大限度地减少药物发现中的实验失败
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Anthropic Claude API、模型、提示词工程、函数调用、视觉和最佳实践方面的专家。在anthropic、claude、api、prompt、function calling、vision、messages api、embeddings这些关键词上触发。
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。