K as a Service (KaaS) VS Code Extension

KaaS provides integration with the K framework for formal verification and language tooling directly in Visual Studio Code.

Features

• Detects and works with kontrol.toml files and foundry.toml
• Run Kontrol test and Foundry Tests in the Cloud

Getting Started

1. Install the extension from the Marketplace.
2. Open a folder containing a kontrol.toml file.
3. Use the command palette to access KaaS features.

Configuration

Get API key from https://kaas.runtimeverification.com