# Discord Developer Mode Settings

In order to verify if a certain user has claimed a certain role in your Discord server, the URL of your Discord server and the ID of a certain role will be needed in the quest template.

## How to get the ID of a certain Role in your Discord server:

1. Click the setting button in the lower left corner.

   <figure><img src="/files/SV20DvmypAP8ZTJe8mbD" alt=""><figcaption></figcaption></figure>

2. Find “Advanced” in Settings and turn on “Developer Mode”.

<figure><img src="/files/HDuTSQ4IYgOQ3h3ppPlc" alt="" width="563"><figcaption></figcaption></figure>

<figure><img src="/files/scSo13CanloohKnagnKa" alt="" width="550"><figcaption></figcaption></figure>

3. Right-click the role tag and copy the ID of the role from the member’s profile card:

<figure><img src="/files/U8DqHlFucPPLnqbE30OV" alt="" width="261"><figcaption></figcaption></figure>

<figure><img src="/files/9nSNnNX9AAQhDJl4cTlc" alt="" width="248"><figcaption></figcaption></figure>

And now you get it!


---

# 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://questn.gitbook.io/docs/settings/discord-developer-mode-settings.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.