Chelis

Chelis is a numerical computing language for code that agents write and people supervise. Tensors carry named dimensions and precision in their type, and a proof stack checks the properties you state, so a shape error is rejected before anything runs: where numpy would broadcast three weights against a 3 by 1 return into a 3 by 3 grid and sum it into a plausible wrong number, chelis check rejects the multiply. The compiler checks shapes, precision, effects and ownership, `chelis check` answers in JSON with the error kind and source span, `chelis tide mcp` exposes check, eval, prove and structural edits to an agent, and `chelis prove` checks declared properties by type checking, an SMT solver or seeded sampling.