# KaaS **KaaS** Introducing **KaaS** (**K** as a Service), a cloud-based solution designed to enhance the [**K** framework](https://kframework.org/) experience. **KaaS** is engineered to introduce new features, streamline operations, and foster collaboration among teams. By leveraging caching proofs and remote computation, it eliminates redundant processes, saving your team precious time. **KaaS** integrates seamlessly with continuous integration (CI) systems, allowing developers to pull the latest cached results and bypass repetitive computations. It's a perfect solution for internal teams, centralizing shared computational results for improved collaboration. For data management, **KaaS** employs reliable and secure storage. User access is protected through unique project keys, ensuring your data's safety. Additionally, **KaaS** provides a robust Command Line Interface (CLI) with commands for efficient cache management, remote and local proof execution for user sessions. Cloud Compute: KaaS takes advantage of cloud computing to provide scalable and efficient remote computation. This allows users to offload heavy computational tasks to the cloud. The integration with cloud computing services makes KaaS a powerful tool for large-scale computations with the K framework. With **KaaS**, our vision is to make the **K** framework more accessible to users, serving as the perfect entry point for anyone looking to leverage the power of the **K** framework **Next Steps** * [KaaS Web Setup](/kaas/overview/readme/kaas-web_setup.md) * [KaaS CLI Tool Installation](/kaas/overview/readme/kaas-cli_installation.md) --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://docs.runtimeverification.com/kaas/overview/readme.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.