Show HN: Chelis, a tensor language agents can write and prove

Category: devtools

Tags: tensor, formal-verification, agent, numerical-computing, language

Score: 7.3/10 (Innovation: 8, Technical: 9, Documentation: 7, Utility: 5)

Chelis is a tensor language designed for AI agents to write and prove programs, featuring named dimensions, effect tracking, and formal verification via SMT and Lean. It stands out by integrating an MCP server for agent interaction and providing a proof stack that checks properties, making it a novel tool for safe numerical computing.

Target audience: AI researchers, numerical computing developers, formal methods engineers

Repository: https://github.com/Chelis-Lang/chelis · Rust · MIT · 3 stars

View on Hacker News