跳到正文
热点事件持续更新

OpenArc 发布:本地小模型编译验证 TypeScript

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

OpenArc 发布开源工具(open-arc npm 包),把类型规格编译成经过验证的 TypeScript 代码。它只向模型提供单个函数所需的上下文,用 tsc、静态规则(含可选的函数调用白名单)和沙箱中实际运行的示例验证返回的函数体,只有通过验证才会拼接进代码,且不会覆盖手工修改。 运行需要 Linux(含 bwrap 和 prlimit)、Node ≥ 23.6,以及模型:可通过 Ollama 使用本地模型,也可接入任意 API(OpenAI 兼容的 OpenAI、OpenRouter、Groq、vLLM,或 Anthropic)。密钥从 openarc.config.json 中指定的环境变量读取。

AI 根据报道生成 · 2 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月1日
  1. Hacker News
    OpenArc 发布:用本地小模型把类型规格编译成经过验证的 TypeScript

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

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。