KaaS provides integration with powerful compute backend with the intelligent and capable kontrol frontend.
We've simplified and now kaas is available directly in your IDE!
Features
Detects and works with kontrol.toml files and foundry.toml
These files are not required but recommended for organizing your test env and runtime requirements
Kaas-VsCode provides remote comptue for heavy verification jobs running kontrol.
Getting Started
Install the extension from the Marketplace.
Open a folder containing your test code.
Use the left-hand command palette to access KaaS Compute resources
Before submitting a job to KaaS, the extension checks for uncommitted or unpushed changes in the git repository.
If dirty, the user is prompted to either "Proceed Anyway" or "Cancel". Canceling aborts the job submission.
GitHub App Access Check
If KaaS cannot access the remote repository (e.g., no git info), the user is notified and given a button to install the Runtime Verification GitHub App.