> 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/guides.md).

# Guides

- [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