ProofMesh

AGENT ACTION CONTROL PLANE

Agent 会调用工具之后,谁来管住它的下一步?

退款、发布、配置变更都会改变真实业务状态。ProofMesh 在 AgentTeams 和企业工具之间核对每一次动作;遇到超时先查上游,结果不明就停。

THE MISSING CONTROL

权限系统管长期身份,企业还需要管住“这一次”

一个角色有权调用接口,不等于它可以在任意时间、用任意参数、重复执行同一个动作。

01

报错可能发生在执行之后

支付已成功、响应却超时;发布已提交、回执却丢失。直接重试可能制造第二个副作用。

02

审批后计划仍可能变化

审批人看过原金额或原变更范围,执行时的参数却可能已经漂移。

03

日志通常由执行方自己解释

审计者需要从系统外加载信任材料,重新核对审批、回执和最终业务状态。

AgentTeams 分工 Action Passport 冻结本次许可 Gateway 执行前核对 Reconcile 失败后先对账 Verifier 包外复核

INTERACTIVE DECISION LAB

给系统一个场景,看它会不会冒险

这是浏览器中的确定性协议模拟。它不调用真实后端,但会按同一套门禁和故障规则解释每个决定。

1. 选择业务动作
2. 要不要篡改合同

不要输入真实订单号、凭证或客户信息;这个页面也没有文本输入框。

GATEWAY DECISION

等待运行

READY

选择条件后运行,系统会说明是否执行、是否对账,以及最终由谁接手。

    FROZEN EXECUTION EVIDENCE

    模拟负责解释,冻结 Proof 负责证明

    下面三条路径由本地参考后端真实执行并封存。可以逐步回放,并在浏览器里复核 Proof 的 SHA-256。

      WHAT HAS ACTUALLY RUN

      每组实验只回答一个问题

      公开数据、合成故障与本地参考路径分开报告,不把它们合并成客户成绩。

      AGENTTEAMS RUNTIME

      协同控制面已经跑通,模型自主协作还没有。

      已验证 AgentTeams v1.2.0-beta.1:Team Active、7/7 Worker Running,并在两个真实容器间完成 direct MCP 生命周期 7/7。

      1 + 6Leader + Workers 7 / 7direct MCP falsemodelDriven

      CURRENT BOUNDARY

      现在能验证什么,下一步还要补什么

      仓库内可复核

      • 动作合同的工具、参数与上下文绑定
      • 故障后的对账、补偿和 UNKNOWN 停机
      • 冻结 Proof 的哈希与包外验真结果
      • AgentTeams 控制面和 direct MCP 生命周期

      尚未完成

      • 模型驱动的七 Agent 自主协作
      • 真实 Stripe、HubSpot 或企业系统账户
      • 客户授权数据与生产试点
      • 企业 IdP、KMS、托管数据库与 SLA 验证