A secure, open, universal terminal coding agent in Rust that pairs model reasoning with a sandboxed, verifiable runtime harness — from question to reviewed change without leaving the terminal.