Automind 认为动态 API 也能配合证明携带代码

RealGeneKim · x · 2026-07-21

这条转发是在回应对 Automind / Universalis 的质疑：有人认为 proof-carrying code 只适用于静态已知的 action space，无法处理运行时才发现的动态 API。

作者的回应是：发现和执行被解耦。当系统发现新 API 时，会先做 domain formalization，生成对应的 typed Universalis 包装器，并检查所需不变量。作者把这类机制类比为 coding agent 生成新的包导入、语言绑定或 REST API 适配层。