用途：通过 Composio 的 Proofly 工具包，经由 Rube MCP 自动化执行 Proofly 相关操作。
前提条件：Rube MCP 已连接（RUBE_SEARCH_TOOLS 可用）；通过 RUBE_MANAGE_CONNECTIONS 建立 toolkit 为 proofly 的有效连接。执行前始终先调用 RUBE_SEARCH_TOOLS 获取当前工具架构。
安装配置：在客户端配置中把 https://rube.app/mcp 添加为 MCP 服务器，无需 API 密钥，添加端点即可；确认 RUBE_SEARCH_TOOLS 有响应以验证可用；调用 RUBE_MANAGE_CONNECTIONS（toolkit: proofly），若连接非 ACTIVE，按返回的授权链接完成设置，确认状态为 ACTIVE 后再运行工作流。
工具发现：始终先发现可用工具，再执行工作流： RUBE_SEARCH_TOOLS queries: [{use_case: "Proofly operations", known_fields: ""}] session: {generate_id: true} 返回可用工具标识、输入架构、推荐执行计划和已知问题。
核心流程：第一步发现工具（RUBE_SEARCH_TOOLS，queries 用具体 Proofly 任务，session 传已有 id）；第二步检查连接（RUBE_MANAGE_CONNECTIONS，toolkits: ["proofly"]）；第三步执行工具： RUBE_MULTI_EXECUTE_TOOL tools: [{ tool_slug: "TOOL_SLUG_FROM_SEARCH", arguments: {/* schema-compliant args from search results */} }] memory: {} session_id: "your_session_id"
注意事项：先搜索，工具架构会变，勿硬编码工具标识或参数；执行前确认连接为 ACTIVE；严格使用搜索结果中的字段名与类型；调用 RUBE_MULTI_EXECUTE_TOOL 时始终带 memory，即使为空 {}；同一工作流内复用 session ID，新工作流生成新 ID；检查响应中的分页令牌并持续拉取至完整。
快速参考：查找工具用 RUBE_SEARCH_TOOLS；连接用 RUBE_MANAGE_CONNECTIONS（toolkit proofly）；执行用 RUBE_MULTI_EXECUTE_TOOL 配合已发现的工具标识；批量操作用 RUBE_REMOTE_WORKBENCH 和 run_composio_tool()；完整架构对带 schemaRef 的工具用 RUBE_GET_TOOL_SCHEMAS。由 Composio 提供支持。