Show HN· jeffreysmith·· 26 天前精选AI 评分58
Chelis 发布面向智能体的张量语言，可在运行前检查并证明属性
Show HN: Chelis, a tensor language agents can write and prove
AI 导读
Chelis 是一个面向智能体编写、人类监督的数值计算语言，张量在类型中携带具名维度和精度，编译器在运行前检查形状、精度、副作用与所有权，例如维度不匹配会直接报错而非算出错误结果。
推荐理由
Chelis 把张量维度与精度写进类型并由编译器在运行前拦截错误，还通过 MCP 把检查与证明能力交给智能体调用。
来源：Show HN · github.com