lampson 0.1.0 → 0.1.1

package/lib/session.syn

@@ -1,111 +1,111 @@
--- lib/session.syn — persistencia de sesiones (historial canónico como JSON en .lampson/sessions/)
---
--- Aquí: un JSON por sesión, reescrito atómicamente en cada turno (write_file es atómico).
--- Suficiente para v1 y trivialmente inspeccionable. Migrar a `db("./.lampson/sessions.db")` si crece.
---
--- MIGA: no existe append_file → releer + reescribir. write_file crea los directorios padres.
-
-use "./tools/memo.syn" as memo
-
-let DIR be ".lampson/sessions"
-
-export task new_id()
-    require time
-    give format_time(now(), "%Y%m%d-%H%M%S")
-
-task path_of(id)
-    give DIR + "/" + id + ".json"
-
-export task save(id, messages, meta)
-    require file(".lampson")
-    require file(".lampson/*")
-    require time
-    require env("LAMPSON_*")
-    -- cada sesión queda marcada con el proyecto (slug del workspace) para que list() no mezcle proyectos
-    set meta["project"] to memo.slug()
-    -- y con la corrida de lampson que la guardó (blackboard "lampson:run", lo comparte el entry al arrancar):
-    -- reanudar una sesión de OTRA corrida dispara la nota de procesos muertos (proc.resume_note)
-    observe "lampson:run" as run_info
-    when run_info != nothing
-        set meta["run"] to run_info["id"]
-    let doc be {"id": id, "updated": format_time(now()), "meta": meta, "messages": messages}
-    write_file(path_of(id), json_encode(doc))
-    give id
-
-export task load(id)
-    require file.read(".lampson")
-    require file.read(".lampson/*")
-    let doc be json_decode(read_file(path_of(id)))
-    give doc
-
--- ¿el doc cargado fue guardado por OTRA corrida de lampson? (sin marca = sesión vieja → sí)
-export task from_other_run(doc)
-    observe "lampson:run" as run_info
-    when run_info == nothing
-        give false
-    when not contains(doc["meta"], "run")
-        give true
-    give doc["meta"]["run"] != run_info["id"]
-
-export task exists(id)
-    require file.read(".lampson")
-    require file.read(".lampson/*")
-    try
-        read_file(path_of(id), 1, 1)
-        give true
-    recover err
-        give false
-
--- [{id, updated, title}] del proyecto ACTUAL, ordenado por id descendente (los ids son timestamps).
--- Sesiones viejas sin marca de proyecto se listan igual (anteriores a esta marca).
-export task list()
-    require file.read(".lampson")
-    require file.read(".lampson/*")
-    require env("LAMPSON_*")
-    let mine be memo.slug()
-    let out be []
-    try
-        let entries be list_dir(DIR)
-        each e in entries
-            when not e["is_dir"]
-                let id be replace_text(e["name"], ".json", "")
-                try
-                    let d be load(id)
-                    let title be when contains(d["meta"], "title") then d["meta"]["title"] otherwise ""
-                    let project be when contains(d["meta"], "project") then d["meta"]["project"] otherwise mine
-                    when project == mine
-                        set out to append(out, {"id": id, "updated": d["updated"], "title": title})
-                recover err
-                    set out to out
-    recover err
-        give []
-    give sort_by(out, (s) => 0 - number(replace_text(replace_text(s["id"], "-", ""), "test", "")))
-
--- Borrar una sesión (no hay delete_file en el runtime: se usa el shell del sistema sobre la ruta fija).
-export task delete(id)
-    require exec
-    require env("OS")
-    require file.read(".lampson")
-    require file.read(".lampson/*")
-    when not matches(id, "[a-zA-Z0-9_-]{1,40}")
-        raise("invalid session id")
-    when not exists(id)
-        give "no existe " + id
-    -- la sesión y su traza (.lampson/trace/<id>.log + .last) se van juntas
-    let files be [path_of(id), ".lampson/trace/" + id + ".log", ".lampson/trace/" + id + ".last"]
-    each f in files
-        when env("OS", "") == "Windows_NT"
-            run("cmd", ["/c", "del", "/q", replace_text(f, "/", "\\")], 10)
-        otherwise
-            run("rm", ["-f", f], 10)
-    give "borrada " + id
-
--- Título = primer mensaje de usuario recortado.
-export task title_of(messages)
-    each m in messages
-        when m["role"] == "user"
-            let t be replace_text(m["content"], "\n", " ")
-            when length(t) > 60
-                give slice(t, 0, 60) + "…"
-            give t
-    give "(sin título)"
+-- lib/session.syn — persistencia de sesiones (historial canónico como JSON en .lampson/sessions/)
+--
+-- Aquí: un JSON por sesión, reescrito atómicamente en cada turno (write_file es atómico).
+-- Suficiente para v1 y trivialmente inspeccionable. Migrar a `db("./.lampson/sessions.db")` si crece.
+--
+-- MIGA: no existe append_file → releer + reescribir. write_file crea los directorios padres.
+
+use "./tools/memo.syn" as memo
+
+let DIR be ".lampson/sessions"
+
+export task new_id()
+    require time
+    give format_time(now(), "%Y%m%d-%H%M%S")
+
+task path_of(id)
+    give DIR + "/" + id + ".json"
+
+export task save(id, messages, meta)
+    require file(".lampson")
+    require file(".lampson/*")
+    require time
+    require env("LAMPSON_*")
+    -- cada sesión queda marcada con el proyecto (slug del workspace) para que list() no mezcle proyectos
+    set meta["project"] to memo.slug()
+    -- y con la corrida de lampson que la guardó (blackboard "lampson:run", lo comparte el entry al arrancar):
+    -- reanudar una sesión de OTRA corrida dispara la nota de procesos muertos (proc.resume_note)
+    observe "lampson:run" as run_info
+    when run_info != nothing
+        set meta["run"] to run_info["id"]
+    let doc be {"id": id, "updated": format_time(now()), "meta": meta, "messages": messages}
+    write_file(path_of(id), json_encode(doc))
+    give id
+
+export task load(id)
+    require file.read(".lampson")
+    require file.read(".lampson/*")
+    let doc be json_decode(read_file(path_of(id)))
+    give doc
+
+-- ¿el doc cargado fue guardado por OTRA corrida de lampson? (sin marca = sesión vieja → sí)
+export task from_other_run(doc)
+    observe "lampson:run" as run_info
+    when run_info == nothing
+        give false
+    when not contains(doc["meta"], "run")
+        give true
+    give doc["meta"]["run"] != run_info["id"]
+
+export task exists(id)
+    require file.read(".lampson")
+    require file.read(".lampson/*")
+    try
+        read_file(path_of(id), 1, 1)
+        give true
+    recover err
+        give false
+
+-- [{id, updated, title}] del proyecto ACTUAL, ordenado por id descendente (los ids son timestamps).
+-- Sesiones viejas sin marca de proyecto se listan igual (anteriores a esta marca).
+export task list()
+    require file.read(".lampson")
+    require file.read(".lampson/*")
+    require env("LAMPSON_*")
+    let mine be memo.slug()
+    let out be []
+    try
+        let entries be list_dir(DIR)
+        each e in entries
+            when not e["is_dir"]
+                let id be replace_text(e["name"], ".json", "")
+                try
+                    let d be load(id)
+                    let title be when contains(d["meta"], "title") then d["meta"]["title"] otherwise ""
+                    let project be when contains(d["meta"], "project") then d["meta"]["project"] otherwise mine
+                    when project == mine
+                        set out to append(out, {"id": id, "updated": d["updated"], "title": title})
+                recover err
+                    set out to out
+    recover err
+        give []
+    give sort_by(out, (s) => 0 - number(replace_text(replace_text(s["id"], "-", ""), "test", "")))
+
+-- Borrar una sesión (no hay delete_file en el runtime: se usa el shell del sistema sobre la ruta fija).
+export task delete(id)
+    require exec
+    require env("OS")
+    require file.read(".lampson")
+    require file.read(".lampson/*")
+    when not matches(id, "[a-zA-Z0-9_-]{1,40}")
+        raise("invalid session id")
+    when not exists(id)
+        give "no existe " + id
+    -- la sesión y su traza (.lampson/trace/<id>.log + .last) se van juntas
+    let files be [path_of(id), ".lampson/trace/" + id + ".log", ".lampson/trace/" + id + ".last"]
+    each f in files
+        when env("OS", "") == "Windows_NT"
+            run("cmd", ["/c", "del", "/q", replace_text(f, "/", "\\")], 10)
+        otherwise
+            run("rm", ["-f", f], 10)
+    give "borrada " + id
+
+-- Título = primer mensaje de usuario recortado.
+export task title_of(messages)
+    each m in messages
+        when m["role"] == "user"
+            let t be replace_text(m["content"], "\n", " ")
+            when length(t) > 60
+                give slice(t, 0, 60) + "…"
+            give t
+    give "(sin título)"

package/lib/skills.syn

@@ -1,179 +1,179 @@
--- lib/skills.syn — skills: procedimientos en Markdown que el modelo carga bajo demanda 
---
--- Una skill = carpeta con SKILL.md y frontmatter YAML mínimo:
---   ---
---   name: deploy
---   description: Cómo desplegar este proyecto (una línea; es lo que ve el modelo en el índice)
---   ---
---   ...instrucciones...
---
--- Se buscan en (prioridad de abajo hacia arriba, el nombre repetido gana el más específico):
---   .lampson/skills-global/<name>/SKILL.md     -- ~/.agents/skills  (junction que crea lampson.ps1/sh; `npx skills add -g`)
---   .lampson/skills-claude/<name>/SKILL.md     -- ~/.claude/skills  (idem; las de Claude Code también sirven acá)
---   skills/<name>/SKILL.md                     -- del harness (enseñan a usar lampson y Synsema)
---   workspace/.claude/skills/<name>/SKILL.md   -- del proyecto, instaladas para Claude Code
---   workspace/.agents/skills/<name>/SKILL.md   -- del proyecto, canónico de `npx skills add owner/repo` (skills.sh)
---   workspace/skills/<name>/SKILL.md           -- del proyecto (committeables)
---   workspace/.lampson/skills/<name>/SKILL.md  -- locales al proyecto (no committeadas)
---
--- Skills externas (2026-08-27): el estándar "Agent Skills" (agentskills.io) es el mismo formato que usamos
--- (SKILL.md + frontmatter name/description), así que NO hay instalador propio: `npx skills add owner/repo
--- --skill x` deja la skill en ./.agents/skills (o ~/.agents/skills con -g) y Lampson la ve en el próximo
--- arranque. Las carpetas de HOME no se pueden declarar como capability con ruta dinámica → se MONTAN
--- bajo .lampson/ (mismo truco que workspace/).
---
--- El system prompt lleva SOLO el índice (name + description); el contenido entra al contexto
--- cuando el modelo llama a la tool `skill(name)`. Así el prompt no crece con cada skill.
-
-let ROOTS be [
-    {"dir": ".lampson/skills-global", "source": "global"},
-    {"dir": ".lampson/skills-claude", "source": "global"},
-    {"dir": "skills", "source": "harness"},
-    {"dir": "workspace/.claude/skills", "source": "project"},
-    {"dir": "workspace/.agents/skills", "source": "project"},
-    {"dir": "workspace/skills", "source": "project"},
-    {"dir": "workspace/.lampson/skills", "source": "local"}
-]
-
-task frontmatter(md)
-    -- devuelve {name, description, body}; sin frontmatter → name vacío
-    let out be {"name": "", "description": "", "body": md}
-    when not starts_with(md, "---")
-        give out
-    let rest be slice(md, 3, length(md))
-    let parts be split(rest, "\n---")
-    when length(parts) < 2
-        give out
-    let head be parts[0]
-    let body be join(slice(parts, 1, length(parts)), "\n---")
-    each line in split(head, "\n")
-        let l be trim(line)
-        when starts_with(l, "name:")
-            set out["name"] to trim(slice(l, 5, length(l)))
-        otherwise when starts_with(l, "description:")
-            set out["description"] to trim(slice(l, 12, length(l)))
-    set out["body"] to trim(body)
-    give out
-
-task scan_root(root, acc)
-    let out be acc
-    try
-        each e in list_dir(root["dir"])
-            when e["is_dir"]
-                let path be root["dir"] + "/" + e["name"] + "/SKILL.md"
-                try
-                    let fm be frontmatter(read_file(path))
-                    let name be when fm["name"] == "" then e["name"] otherwise fm["name"]
-                    set out[name] to {"name": name, "description": fm["description"], "path": path, "source": root["source"]}
-                recover err
-                    set out to out
-    recover err
-        give out
-    give out
-
--- índice: map name → {name, description, path, source}
-export task index()
-    require file.read("skills")
-    require file.read("skills/*")
-    require file.read("workspace")
-    require file.read("workspace/*")
-    require file.read(".lampson")
-    require file.read(".lampson/*")
-    let acc be {}
-    each r in ROOTS
-        set acc to scan_root(r, acc)
-    give acc
-
--- sección del system prompt
-export task prompt_section(idx)
-    let names be sort_by(keys(idx), (n) => n)
-    when length(names) == 0
-        give ""
-    let lines be ["", "# Skills (load one with the `skill` tool when relevant — read it BEFORE doing that kind of task)"]
-    each n in names
-        let s be idx[n]
-        set lines to append(lines, "- " + n + " (" + s["source"] + "): " + s["description"])
-    give join(lines, "\n")
-
-export task load(name)
-    require file.read("skills")
-    require file.read("skills/*")
-    require file.read("workspace")
-    require file.read("workspace/*")
-    require file.read(".lampson")
-    require file.read(".lampson/*")
-    let idx be index()
-    when not contains(idx, name)
-        raise("unknown skill '" + name + "'. Available: " + join(sort_by(keys(idx), (n) => n), ", "))
-    let s be idx[name]
-    let fm be frontmatter(read_file(s["path"]))
-    -- archivos hermanos de la skill (scripts, templates) para que el modelo sepa que existen
-    let dir be slice(s["path"], 0, length(s["path"]) - length("/SKILL.md"))
-    let extras be []
-    each e in list_dir(dir)
-        when e["name"] != "SKILL.md"
-            set extras to append(extras, dir + "/" + e["name"] + (when e["is_dir"] then "/" otherwise ""))
-    let head be "# skill: " + name + " (" + s["source"] + ", " + s["path"] + ")\n"
-    when length(extras) > 0
-        set head to head + "Files in this skill: " + join(extras, ", ") + "\n"
-    give head + "\n" + fm["body"]
-
--- ---------- instalación de skills externas (skills.sh / cualquier repo con SKILL.md) ----------
--- No reinventamos el instalador: `npx skills add <owner/repo> --skill <name>` (vercel-labs/skills) escribe
--- en ./.agents/skills (scope project) o ~/.agents/skills (-g, scope global — sirve para TODOS los proyectos,
--- que es lo que uno quiere con una skill de Go, de Next, de diseño…). `-a codex -y` = no interactivo
--- (codex ya usa la carpeta canónica, así que no crea symlinks extra; verificado 2026-08-27). Es una acción
--- con efectos fuera del workspace → permission.syn la marca "ask" SIEMPRE (human in the loop), incluso en yolo.
-task shell_exe()
-    require env("LAMPSON_*")
-    require env("OS")
-    let is_win be env("OS", "") == "Windows_NT"
-    give env("LAMPSON_SHELL", when is_win then "C:\\Program Files\\Git\\bin\\bash.exe" otherwise "bash")
-
-task valid_slug(s)
-    when s == nothing or s == ""
-        give false
-    give matches(s, "[a-zA-Z0-9._/@:-]{1,120}")
-
--- la junction/symlink .lampson/skills-global → ~/.agents/skills la crea lampson.ps1/sh al arrancar, pero si
--- la carpeta HOME no existía todavía (primera instalación global) hay que crear ambas ahora
-task ensure_global_mount()
-    require exec
-    require env("LAMPSON_*")
-    require env("OS")
-    let is_win be env("OS", "") == "Windows_NT"
-    let win be "src=\"$USERPROFILE/.agents/skills\"; mkdir -p \"$src\"; [ -e .lampson/skills-global ] || cmd //c mklink //J \".lampson\\\\skills-global\" \"$(cygpath -w \"$src\")\" >/dev/null"
-    let unix be "src=\"$HOME/.agents/skills\"; mkdir -p \"$src\"; [ -e .lampson/skills-global ] || ln -s \"$src\" .lampson/skills-global"
-    run(shell_exe(), ["-c", when is_win then win otherwise unix], 30, {"cwd": "."})
-
-task tail_out(s)
-    let t be strip_ansi(replace_text(s, "\r", ""))
-    when length(t) > 3000
-        give slice(t, length(t) - 3000, length(t))
-    give t
-
-export task install(source, name, scope)
-    require exec
-    require time
-    require env("LAMPSON_*")
-    require env("OS")
-    require file.read("skills")
-    require file.read("skills/*")
-    require file.read("workspace")
-    require file.read("workspace/*")
-    require file.read(".lampson")
-    require file.read(".lampson/*")
-    when not valid_slug(source)
-        raise("invalid source '" + text(source) + "' (expected owner/repo or a github URL)")
-    when not valid_slug(name)
-        raise("invalid skill name '" + text(name) + "'")
-    let global be scope != "project"
-    let argv be ["-y", "skills", "add", source, "--skill", name, "-a", "codex", "-y"]
-    when global
-        set argv to append(argv, "-g")
-        ensure_global_mount()
-    let r be run(shell_exe(), ["-c", "CI=1 npx " + join(argv, " ") + " 2>&1"], 240, {"cwd": when global then "." otherwise "workspace"})
-    let idx be index()
-    when contains(idx, name)
-        give "installed skill '" + name + "' (" + (when global then "global: ~/.agents/skills, available in every project" otherwise "project: ./.agents/skills") + "). It is in the skills index now — call skill(name=\"" + name + "\") to load it.\n" + tail_out(r["stdout"])
-    give "npx skills finished (exit " + text(r["exit_code"]) + ") but '" + name + "' is not in the skills index. Output:\n" + tail_out(r["stdout"])
+-- lib/skills.syn — skills: procedimientos en Markdown que el modelo carga bajo demanda 
+--
+-- Una skill = carpeta con SKILL.md y frontmatter YAML mínimo:
+--   ---
+--   name: deploy
+--   description: Cómo desplegar este proyecto (una línea; es lo que ve el modelo en el índice)
+--   ---
+--   ...instrucciones...
+--
+-- Se buscan en (prioridad de abajo hacia arriba, el nombre repetido gana el más específico):
+--   .lampson/skills-global/<name>/SKILL.md     -- ~/.agents/skills  (junction que crea lampson.ps1/sh; `npx skills add -g`)
+--   .lampson/skills-claude/<name>/SKILL.md     -- ~/.claude/skills  (idem; las de Claude Code también sirven acá)
+--   skills/<name>/SKILL.md                     -- del harness (enseñan a usar lampson y Synsema)
+--   workspace/.claude/skills/<name>/SKILL.md   -- del proyecto, instaladas para Claude Code
+--   workspace/.agents/skills/<name>/SKILL.md   -- del proyecto, canónico de `npx skills add owner/repo` (skills.sh)
+--   workspace/skills/<name>/SKILL.md           -- del proyecto (committeables)
+--   workspace/.lampson/skills/<name>/SKILL.md  -- locales al proyecto (no committeadas)
+--
+-- Skills externas (2026-08-27): el estándar "Agent Skills" (agentskills.io) es el mismo formato que usamos
+-- (SKILL.md + frontmatter name/description), así que NO hay instalador propio: `npx skills add owner/repo
+-- --skill x` deja la skill en ./.agents/skills (o ~/.agents/skills con -g) y Lampson la ve en el próximo
+-- arranque. Las carpetas de HOME no se pueden declarar como capability con ruta dinámica → se MONTAN
+-- bajo .lampson/ (mismo truco que workspace/).
+--
+-- El system prompt lleva SOLO el índice (name + description); el contenido entra al contexto
+-- cuando el modelo llama a la tool `skill(name)`. Así el prompt no crece con cada skill.
+
+let ROOTS be [
+    {"dir": ".lampson/skills-global", "source": "global"},
+    {"dir": ".lampson/skills-claude", "source": "global"},
+    {"dir": "skills", "source": "harness"},
+    {"dir": "workspace/.claude/skills", "source": "project"},
+    {"dir": "workspace/.agents/skills", "source": "project"},
+    {"dir": "workspace/skills", "source": "project"},
+    {"dir": "workspace/.lampson/skills", "source": "local"}
+]
+
+task frontmatter(md)
+    -- devuelve {name, description, body}; sin frontmatter → name vacío
+    let out be {"name": "", "description": "", "body": md}
+    when not starts_with(md, "---")
+        give out
+    let rest be slice(md, 3, length(md))
+    let parts be split(rest, "\n---")
+    when length(parts) < 2
+        give out
+    let head be parts[0]
+    let body be join(slice(parts, 1, length(parts)), "\n---")
+    each line in split(head, "\n")
+        let l be trim(line)
+        when starts_with(l, "name:")
+            set out["name"] to trim(slice(l, 5, length(l)))
+        otherwise when starts_with(l, "description:")
+            set out["description"] to trim(slice(l, 12, length(l)))
+    set out["body"] to trim(body)
+    give out
+
+task scan_root(root, acc)
+    let out be acc
+    try
+        each e in list_dir(root["dir"])
+            when e["is_dir"]
+                let path be root["dir"] + "/" + e["name"] + "/SKILL.md"
+                try
+                    let fm be frontmatter(read_file(path))
+                    let name be when fm["name"] == "" then e["name"] otherwise fm["name"]
+                    set out[name] to {"name": name, "description": fm["description"], "path": path, "source": root["source"]}
+                recover err
+                    set out to out
+    recover err
+        give out
+    give out
+
+-- índice: map name → {name, description, path, source}
+export task index()
+    require file.read("skills")
+    require file.read("skills/*")
+    require file.read("workspace")
+    require file.read("workspace/*")
+    require file.read(".lampson")
+    require file.read(".lampson/*")
+    let acc be {}
+    each r in ROOTS
+        set acc to scan_root(r, acc)
+    give acc
+
+-- sección del system prompt
+export task prompt_section(idx)
+    let names be sort_by(keys(idx), (n) => n)
+    when length(names) == 0
+        give ""
+    let lines be ["", "# Skills (load one with the `skill` tool when relevant — read it BEFORE doing that kind of task)"]
+    each n in names
+        let s be idx[n]
+        set lines to append(lines, "- " + n + " (" + s["source"] + "): " + s["description"])
+    give join(lines, "\n")
+
+export task load(name)
+    require file.read("skills")
+    require file.read("skills/*")
+    require file.read("workspace")
+    require file.read("workspace/*")
+    require file.read(".lampson")
+    require file.read(".lampson/*")
+    let idx be index()
+    when not contains(idx, name)
+        raise("unknown skill '" + name + "'. Available: " + join(sort_by(keys(idx), (n) => n), ", "))
+    let s be idx[name]
+    let fm be frontmatter(read_file(s["path"]))
+    -- archivos hermanos de la skill (scripts, templates) para que el modelo sepa que existen
+    let dir be slice(s["path"], 0, length(s["path"]) - length("/SKILL.md"))
+    let extras be []
+    each e in list_dir(dir)
+        when e["name"] != "SKILL.md"
+            set extras to append(extras, dir + "/" + e["name"] + (when e["is_dir"] then "/" otherwise ""))
+    let head be "# skill: " + name + " (" + s["source"] + ", " + s["path"] + ")\n"
+    when length(extras) > 0
+        set head to head + "Files in this skill: " + join(extras, ", ") + "\n"
+    give head + "\n" + fm["body"]
+
+-- ---------- instalación de skills externas (skills.sh / cualquier repo con SKILL.md) ----------
+-- No reinventamos el instalador: `npx skills add <owner/repo> --skill <name>` (vercel-labs/skills) escribe
+-- en ./.agents/skills (scope project) o ~/.agents/skills (-g, scope global — sirve para TODOS los proyectos,
+-- que es lo que uno quiere con una skill de Go, de Next, de diseño…). `-a codex -y` = no interactivo
+-- (codex ya usa la carpeta canónica, así que no crea symlinks extra; verificado 2026-08-27). Es una acción
+-- con efectos fuera del workspace → permission.syn la marca "ask" SIEMPRE (human in the loop), incluso en yolo.
+task shell_exe()
+    require env("LAMPSON_*")
+    require env("OS")
+    let is_win be env("OS", "") == "Windows_NT"
+    give env("LAMPSON_SHELL", when is_win then "C:\\Program Files\\Git\\bin\\bash.exe" otherwise "bash")
+
+task valid_slug(s)
+    when s == nothing or s == ""
+        give false
+    give matches(s, "[a-zA-Z0-9._/@:-]{1,120}")
+
+-- la junction/symlink .lampson/skills-global → ~/.agents/skills la crea lampson.ps1/sh al arrancar, pero si
+-- la carpeta HOME no existía todavía (primera instalación global) hay que crear ambas ahora
+task ensure_global_mount()
+    require exec
+    require env("LAMPSON_*")
+    require env("OS")
+    let is_win be env("OS", "") == "Windows_NT"
+    let win be "src=\"$USERPROFILE/.agents/skills\"; mkdir -p \"$src\"; [ -e .lampson/skills-global ] || cmd //c mklink //J \".lampson\\\\skills-global\" \"$(cygpath -w \"$src\")\" >/dev/null"
+    let unix be "src=\"$HOME/.agents/skills\"; mkdir -p \"$src\"; [ -e .lampson/skills-global ] || ln -s \"$src\" .lampson/skills-global"
+    run(shell_exe(), ["-c", when is_win then win otherwise unix], 30, {"cwd": "."})
+
+task tail_out(s)
+    let t be strip_ansi(replace_text(s, "\r", ""))
+    when length(t) > 3000
+        give slice(t, length(t) - 3000, length(t))
+    give t
+
+export task install(source, name, scope)
+    require exec
+    require time
+    require env("LAMPSON_*")
+    require env("OS")
+    require file.read("skills")
+    require file.read("skills/*")
+    require file.read("workspace")
+    require file.read("workspace/*")
+    require file.read(".lampson")
+    require file.read(".lampson/*")
+    when not valid_slug(source)
+        raise("invalid source '" + text(source) + "' (expected owner/repo or a github URL)")
+    when not valid_slug(name)
+        raise("invalid skill name '" + text(name) + "'")
+    let global be scope != "project"
+    let argv be ["-y", "skills", "add", source, "--skill", name, "-a", "codex", "-y"]
+    when global
+        set argv to append(argv, "-g")
+        ensure_global_mount()
+    let r be run(shell_exe(), ["-c", "CI=1 npx " + join(argv, " ") + " 2>&1"], 240, {"cwd": when global then "." otherwise "workspace"})
+    let idx be index()
+    when contains(idx, name)
+        give "installed skill '" + name + "' (" + (when global then "global: ~/.agents/skills, available in every project" otherwise "project: ./.agents/skills") + "). It is in the skills index now — call skill(name=\"" + name + "\") to load it.\n" + tail_out(r["stdout"])
+    give "npx skills finished (exit " + text(r["exit_code"]) + ") but '" + name + "' is not in the skills index. Output:\n" + tail_out(r["stdout"])