From d51c60c30e7f67e644db0bc5eadea9f0392481ca Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Wed, 7 Oct 2026 06:59:42 +0200
Subject: feat(workstation): add /doc

---
 user/pi/extensions/doc-list.ts | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 user/pi/extensions/doc-list.ts

(limited to 'user/pi/extensions')

diff --git a/user/pi/extensions/doc-list.ts b/user/pi/extensions/doc-list.ts
new file mode 100644
index 0000000..5d87352
--- /dev/null
+++ b/user/pi/extensions/doc-list.ts
@@ -0,0 +1,32 @@
+import { existsSync, readdirSync } from "node:fs";
+import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
+
+const docRoot = "/doc";
+
+function buildDocList(): string | undefined {
+  if (!existsSync(docRoot)) {
+    return undefined;
+  }
+
+  const entries = readdirSync(docRoot, { withFileTypes: true })
+    .filter((entry) => entry.isDirectory() || entry.isSymbolicLink())
+    .map((entry) => entry.name)
+    .sort((a, b) => a.localeCompare(b));
+
+  if (entries.length === 0) {
+    return undefined;
+  }
+
+  return `/doc/ contains documentation for ${entries.join(", ")}. List files with \`find /doc/$name/\` (mind the trailing slash; don't use -type f).`;
+}
+
+export default function docList(pi: ExtensionAPI) {
+  pi.on("before_agent_start", (event) => {
+    const docList = buildDocList();
+    if (docList) {
+      event.systemPromptOptions.sections.documentation = docList;
+    } else {
+      delete event.systemPromptOptions.sections.documentation;
+    }
+  });
+}
-- 
cgit v1.3.1