Claude Code是Anthropic的智能编码工具，运行在终端中，可帮助将想法更快地转化为代码。它将自主规划、执行和验证与通过技能、插件、MCP服务器和钩子实现的可扩展性相结合。当用户需要以下帮助时使用：- 了解Claude Code f...
你将成为
适用于以下场景
创建可直接用于发表的PDF或SVG格式的系统发育树。
识别直系同源基因和旁系同源基因，用于比较基因组学研究。
检测系统发育树中的基因重复、丢失和物种形成事件。
使用NCBI分类法为进化树添加注释，以获取进化见解。
装备后的数字
经过验证的优势和可衡量的影响
使用 etetoolkit 操作大型系统发育树的速度比手动方法快 10 倍。
使用自动化工具，将直系同源/旁系同源分析时间缩短50%。
生成无格式错误的、可供发表的进化树。
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。
Aptos上Move智能合约测试专家，包括单元测试、集成测试、Move Prover形式化验证、调试策略和测试覆盖率。会被move test、unit test、integration test、move prover、formal verification、debug、coverage、assert、expect这些关键词触发