SPACEXAI：开源 Grok Build，SPACEXAI 的编码代理和 TUI。