高级机器学习工程师

Claude代码代理生成系统，该系统遵循成熟的生产模式，创建带有增强型YAML前端配置、工具访问模式和MCP集成支持的自定义代理和子代理

Aptos区块链、Move语言、智能合约、NFT、DeFi和Aptos开发方面的专家。通过关键词aptos、move、blockchain、smart contract、nft、defi、web3、mainnet、testnet、devnet触发

Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。

用于自动化蛋白质测试和验证的云实验室平台。当设计蛋白质并需要实验验证（包括结合测定、表达测试、热稳定性测量、酶活性测定或蛋白质序列优化）时使用。也用于通过API提交实验、跟踪实验状态、下载结果、使用计算工具（NetSolP、SoluProt、SolubleMPNN、ESM）优化蛋白质序列以获得更好的表达，或通过湿实验室验证管理蛋白质设计工作流程。