From f5c0b29522e1cc9e5eafac82fc0022b649bd3685 Mon Sep 17 00:00:00 2001
From: Levi Neely <lkn@darkstar.example.net>
Date: Tue, 14 Apr 2026 14:47:38 +0200
Subject: [PATCH] 9p: serve t/idx and sk/idx as live synthetic files
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Both are generated on read from current state — no physical files.
t/idx scans ToolsPath() headers; sk/idx uses skills.List().

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 internal/p9/server.go | 51 ++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 46 insertions(+), 5 deletions(-)

diff --git a/internal/p9/server.go b/internal/p9/server.go
index 2c3d7d6..0b777c3 100644
--- a/internal/p9/server.go
+++ b/internal/p9/server.go
@@ -603,12 +603,13 @@ func (s *Server) read(cs *connState, fc *plan9.Fcall) *plan9.Fcall {
 	// Skill files are served via pkg/skills (reads from disk each time).
 	if strings.HasPrefix(path, "/sk/") {
 		if pathBase(path) == "idx" {
-			skillsPath := skills.Dirs()[0]
-			content, err := os.ReadFile(skillsPath + "/idx")
-			if err != nil {
-				return errFcall(fc, err.Error())
+			var sb strings.Builder
+			for _, m := range skills.List() {
+				fmt.Fprintf(&sb, "## %s\n", m.Name)
+				fmt.Fprintf(&sb, "description: %s\n", m.Description)
+				sb.WriteString("\n")
 			}
-			return s.readSlice(fc, content)
+			return s.readSlice(fc, []byte(sb.String()))
 		}
 		name := strings.TrimSuffix(pathBase(path), ".md")
 		content, err := skills.Read(name)
@@ -620,6 +621,46 @@ func (s *Server) read(cs *connState, fc *plan9.Fcall) *plan9.Fcall {
 
 	// Tool files are served from the tools path.
 	if strings.HasPrefix(path, "/t/") {
+		if pathBase(path) == "idx" {
+			toolsPath := execute.ToolsPath()
+			entries, err := os.ReadDir(toolsPath)
+			if err != nil {
+				return errFcall(fc, err.Error())
+			}
+			var sb strings.Builder
+			for _, e := range entries {
+				if e.IsDir() || e.Name() == "idx" {
+					continue
+				}
+				data, err := os.ReadFile(toolsPath + "/" + e.Name())
+				if err != nil {
+					continue
+				}
+				var desc, args string
+				for line := range strings.SplitSeq(string(data), "\n") {
+					if d, ok := strings.CutPrefix(line, "# description:"); ok {
+						desc = strings.TrimSpace(d)
+					} else if a, ok := strings.CutPrefix(line, "# Args:"); ok {
+						args = strings.TrimSpace(a)
+					} else if a, ok := strings.CutPrefix(line, "# args:"); ok {
+						args = strings.TrimSpace(a)
+					}
+					if !strings.HasPrefix(line, "#") && line != "" {
+						break
+					}
+				}
+				if desc == "" {
+					continue
+				}
+				fmt.Fprintf(&sb, "## %s\n", e.Name())
+				fmt.Fprintf(&sb, "description: %s\n", desc)
+				if args != "" {
+					fmt.Fprintf(&sb, "args: %s\n", args)
+				}
+				sb.WriteString("\n")
+			}
+			return s.readSlice(fc, []byte(sb.String()))
+		}
 		content, err := os.ReadFile(execute.ToolsPath() + "/" + pathBase(path))
 		if err != nil {
 			return errFcall(fc, err.Error())