OpenArc 发布：用本地小模型把类型规格编译成经过验证的 TypeScript

OpenArc 是一个把类型规格编译成经过验证的 TypeScript 代码的开源工具，只向本地模型提供单个函数所需的上下文。它用 tsc、静态规则（含可选的函数调用白名单）和沙箱中实际运行的示例来验证返回的函数体，只有通过验证才会拼接进代码，且不会覆盖手工修改。