Show HN: Chelis, a tensor language agents can write and prove
说明与用途
Chelis 是一种基于张量的语言，允许代理编写并形式化证明代码。首先手动检查 README、活跃度和依赖兼容性，然后在原型中进行测试。它适用于内部工作流和原型，但在投入生产前需核实许可和维护情况。
实际用途
Show HN: Chelis, a tensor language agents can write and prove may be useful when its README and activity match a concrete workflow.
限制与审查说明
Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
- 来源: hackernews
- 记录日期: 2026-10-07T14:04:48.000Z