Bend 2 is a statically typed, high‑performance programming language designed to prevent AI‑generated errors through formal proof checking. It offers a single‑line installation script that downloads and sets up the toolchain from bend‑lang.com. The project is hosted on GitHub under the bendlang organization.