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

Chelis is a tensor‑based language that lets agents write and formally prove code. Begin by manually inspecting the README, activity, and dependency compatibilit