# Proofcast Episode: Getting Started

In this episode of Proofcast, Paul (BD person) is guided by two Kontrol verification engineers through the installation and usage of Kontrol. This video provides an excellent starting point for learning Kontrol, as it covers:

* Installation process and common pitfalls
* Running through the example project
* Real-time troubleshooting and solutions
* Detailed explanations of what's happening during verification
* Best practices and tips from verification engineers

{% embed url="<https://www.youtube.com/embed/iOz8zv_89Bs>" %}

## Why Watch This Episode?

This episode is particularly valuable because:

* It shows the actual installation process with real-time troubleshooting
* Demonstrates common issues and their solutions
* Provides expert insights into the verification process
* Uses the same example project that's documented in our guides
* Offers a more interactive way to learn compared to reading documentation

## Following Along

To get the most out of this episode:

1. Have your development environment ready (see [Installations](/kontrol/overview/readme/installations.md))
2. Clone the example repository
3. Follow along with the video, pausing when needed
4. Try to replicate the steps on your machine
5. Refer to the [Kontrol Example](/kontrol/guides/kontrol-example.md) documentation for additional details


---

# 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/kontrol/guides/proofcast-episode.md?ask=<question>
```

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.