Chelis：智能体可编写并证明的张量语言开源

Chelis 是一款面向智能体编写、人类监督的开源编程语言，静态类型、编译型、函数式，深受 ML 系语言影响。它把 SMT 等求解器与编译器类型系统打通，将形式化方法内建其中，并覆盖编译器、MCP、技能与修复路径的智能体编写场景，同时提供丰富的数值支持。