用途：通过 Composio 的 Proofly 工具包，在 Rube MCP 环境下自动化 Proofly 相关操作。
主要能力：借助 Rube MCP 提供的工具发现与执行机制，调用 Proofly 工具完成自动化任务；支持工具搜索、连接管理、多工具执行以及批量操作。
使用方式：先在客户端配置中添加 MCP 服务器 https://rube.app/mcp，无需 API 密钥。确认 RUBE_SEARCH_TOOLS 可用后，调用 RUBE_MANAGE_CONNECTIONS 并指定 toolkit 为 proofly；若连接非 ACTIVE，按返回的授权链接完成设置，确认状态为 ACTIVE 再运行工作流。执行前始终调用 RUBE_SEARCH_TOOLS 获取当前工具 slug、输入 schema、推荐执行计划和已知陷阱，再用 RUBE_MULTI_EXECUTE_TOOL 执行，调用时需包含 memory 参数（即使为空 {}）。批量操作可用 RUBE_REMOTE_WORKBENCH 的 run_composio_tool()；带 schemaRef 的工具可用 RUBE_GET_TOOL_SCHEMAS 获取完整 schema。
适用场景：需要以自动化方式操作 Proofly 的任务，例如通过 MCP 客户端编排 Proofly 工作流。
限制与注意：工具 schema 会变化，不要硬编码工具 slug 或参数；执行前必须确认连接为 ACTIVE；参数须严格符合搜索结果的字段名与类型；同一工作流内复用 session ID，新工作流生成新 ID；注意响应中的分页令牌并持续获取直至完成。具体可用的 Proofly 操作类型与功能范围暂未提供。