I am working on a TUI framework for tokamak https://github.com/cztomsik/tokamak so I can then use it for my local agent harness. The currently separate PoC now lives in codeberg https://codeberg.org/cztomsik/hello-tui