[nthypes]

No CLI? Only VSCode extension?

[GodelNumbering]

Cli too (you can't run tbench without cli as it runs in an isolated docker env) `npm install -g dirac-cli`