diff --git a/docs/getstarted/device.mdx b/docs/getstarted/device.mdx
index 2e689901..033548d4 100644
--- a/docs/getstarted/device.mdx
+++ b/docs/getstarted/device.mdx
@@ -6,6 +6,14 @@ import JaguarVideo from "../_images/146210503-24811800-bb26-4244-817d-6422b20e67
 This short guide shows how to install Toit, flash the Toit firmware on your [ESP32](https://www.espressif.com/en/products/socs/esp32),
 setup your local development environment, and finally deploy a Toit application on your ESP32 over-the-air.
 
+<Note>
+
+If you use an AI coding assistant, Toit skills are available at
+[toitlang/ai-instructions](https://github.com/toitlang/ai-instructions).
+See the repository for instructions on installing them for your assistant.
+
+</Note>
+
 It uses the open-source Jaguar service to enable live reloading when developing for the ESP32. You
 can watch a short video that shows how you can experience Jaguar on your ESP32 in two minutes:
 
diff --git a/docs/tutorials/setup/ide.mdx b/docs/tutorials/setup/ide.mdx
index 4e4d419c..8ba6af75 100644
--- a/docs/tutorials/setup/ide.mdx
+++ b/docs/tutorials/setup/ide.mdx
@@ -12,6 +12,14 @@ import VscodeSplitTerminals from "../../_images/setup_split_terminals.png";
 This tutorial guides the reader through the installation process. It is an
 extended version of the [Get Started](/getstarted) documentation.
 
+<Note>
+
+If you use an AI coding assistant, Toit skills are available at
+[toitlang/ai-instructions](https://github.com/toitlang/ai-instructions).
+See the repository for instructions on installing them for your assistant.
+
+</Note>
+
 Start by installing [Visual Studio Code](https://code.visualstudio.com/download)
 (henceforth "vscode").