调用深层序列思维进行复杂问题解决。当用户说“使用ultrathink”、“ultrathink”时，或者在处理需要仔细逐步推理、规划、假设生成或多步骤分析的问题时使用。
你将成为
适用于以下场景
快速创建 MCP 服务器，以将大语言模型与任何 REST API 或数据库连接。
为大型语言模型（LLM）构建 MCP 服务器，以查询和可视化外部来源的数据。
设计MCP服务器，以触发CRM、Slack或其他SaaS工具中的操作。
通过将大型语言模型（LLM）与专有或利基服务相结合来扩展其能力。
装备后的数字
经过验证的优势和可衡量的影响
通过引导步骤，将 MCP 服务器的创建时间从数天缩短至数小时。
遵循 API 集成和错误处理的最佳实践，以最大限度地减少错误。
通过设计直观的、LLM友好的MCP接口，来提升工具的使用效率。
装备内容
文件、标签与三步安装
提示： 首次使用前请阅读文档与代码，确认它的功能和所需权限。
接着演下去
基于标签和分类的推荐
验证 OpenAPI、Swagger 和 GraphQL 架构与后端实现是否匹配。检测破坏性更改、生成 TypeScript 客户端，并确保 API 文档保持同步。在处理 API 规范文件（.yaml、.json、.graphql）、审查 API 变更、生成前端类型或验证端点实现时使用。
Move Prover 形式化验证专家——规范语言（MSL）、前置条件、后置条件、不变量、aborts_if、ensures、requires、modifies、emits、全局不变量、模式、量词、辅助函数、编译指示、验证策略和调试证明。对关键词move prover、formal verification、spec、invariant、ensures、requires、aborts_if、precondition、postcondition、quantifier、schema、pragma 触发响应。