Model Context Protocol (MCP)集成、MCP服务器、安装、配置和认证方面的专家。当用户提及MCP、MCP服务器、安装MCP、连接工具、MCP资源、MCP提示或远程/本地MCP服务器时触发。
你将成为
适用于以下场景
通过想象相反的市场状况，来挑战核心业务假设
通过逆转设计限制与约束来产生创新想法
通过检验逆向假设和替代性解释来加强研究
通过逆向当前产品假设，识别新的机会
装备后的数字
经过验证的优势和可衡量的影响
在相同时间内多产出三倍的创意解决方案
在项目中识别出40%更多的隐性假设与约束条件
通过更清晰的视角，将战略思考时间减半
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
访问AlphaFold的2亿多个AI预测蛋白质结构。通过UniProt ID检索结构，下载PDB/mmCIF文件，分析置信度指标（pLDDT、PAE），用于药物发现和结构生物学研究。
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。