# KaaS

## KaaS

- [KaaS](https://docs.runtimeverification.com/kaas/overview/readme.md): Revolutionize your K framework experience
- [KaaS Organization Setup](https://docs.runtimeverification.com/kaas/overview/readme/kaas-web_setup.md)
- [KaaS CLI Installation](https://docs.runtimeverification.com/kaas/overview/readme/kaas-cli_installation.md)
- [Using KaaS CLI](https://docs.runtimeverification.com/kaas/guides/kaas-cli_connecting-using-tokens.md): Step-by-step Guidance on Using the Tool
- [Authentification Using Device Flow](https://docs.runtimeverification.com/kaas/guides/kaas-cli_connecting-using-device-flow.md)
- [run Command Documentation](https://docs.runtimeverification.com/kaas/guides/kaas-cli_run_command.md)
- [Using KaaS in CI](https://docs.runtimeverification.com/kaas/guides/kaas_setting-up-ci.md)
- [KCFG Tagging Tutorial](https://docs.runtimeverification.com/kaas/guides/kaas-cli_tagging-best-practices.md): Best Practices for Tagging KCFG Files