It seems like they are using [1] Wish [2], a library for "SSH apps"

[1]: https://git.sr.ht/~erock/prose.sh/tree/main/item/cmd/ssh/mai... [2]: https://github.com/charmbracelet/wish