14:04
2026-10-07
github.com
ai-agents
Show HN: Chelis, a tensor language agents can write and prove
The Chelis team open sourced Chelis, a statically typed, compiled functional programming language built in Rust for agent authorship and human supervision, with formal methods integrated via SMT solve…