diff --git a/src/types/pi-coding-agent.d.ts b/src/types/pi-coding-agent.d.ts
new file mode 100644
index 000000000..a96296a39
--- /dev/null
+++ b/src/types/pi-coding-agent.d.ts
@@ -0,0 +1,10 @@
+import "@mariozechner/pi-coding-agent";
+
+declare module "@mariozechner/pi-coding-agent" {
+  interface CreateAgentSessionOptions {
+    /** Extra extension paths merged with settings-based discovery. */
+    additionalExtensionPaths?: string[];
+  }
+}
+
+export {};