KaaS CLI Installation
Last updated
Last updated
Follow these step-by-step instructions to set up KaaS components, which include the web interface and command-line interface (CLI) tool.
Your system will need the following: python >= 3.10
, pip >= 20.0.2
, poetry >= 1.3.2
To run your tests you will need:
Kontrol must be installed locally. See for installation instructions. OR
Docker must be installed locally. See for installation instructions. OR
For remote runs you must have a valid internet connection and license with the KaaS online platform at
You must have a minimum a foundry.toml
file at the root of you TEST directory.
A kontrol.toml
file is optional, but if present, it will be used to run the tests using specific configuraiton options passed to kontrol.
kontrol.toml
is a kontrol specific configuration file that can be used to specify additional options for the proof run, and manage what kontrol does or does not do.
To install the CLI tool run:
pip install --user kaas-cli
or:
sudo pip install kaas-cli
To make sure everything is installed run
If the installation is successful, you should see the message Hello stranger!
Use kaas-cli --help
to list all commands. For live feedback when using the web interface, use the Feedback button located on the right side of the screen. Contact us via our official Telegram or Discord channels for support or inquiries.
Uninstall the current version of the CLI tool:
pip uninstall kaas-cli
To install the latest version of the CLI tool run:
pip install --user kaas-cli