https://docs.tscircuit.com/command-line/tsci-init
https://docs.tscircuit.com/command-line/tsci-init