> For the complete documentation index, see [llms.txt](https://docs.runtimeverification.com/kaas/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.runtimeverification.com/kaas/overview/readme.md).

# 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
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## 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, and the optional `goal` query parameter:

```
GET https://docs.runtimeverification.com/kaas/overview/readme.md?ask=<question>&goal=<endgoal>
```

`ask` is the immediate question: it should be specific, self-contained, and written in natural language.
`goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal.

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.