Terax ai Lightweight (7MB) terminal-first AI-native development environment CodingAgents & Automation Free 0