From ce8393d04e1f0772cdcf4a889609a279965ca963 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Padez?= Date: Sun, 23 Aug 2026 20:31:12 +0000 Subject: [PATCH] platform skill: regenerated Follows the permission registry, which lost an entry when Minesweeper became a plugin. Regenerated by `bun run skills:platform`; docs:check compares the two and was red until this landed. Co-Authored-By: Claude Opus 5 Officer-Session: 656f5c85-e49a-4f1f-b9f3-042a04b4d043 --- skills/platform/SKILL.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/skills/platform/SKILL.md b/skills/platform/SKILL.md index 85f46aa..8013b48 100644 --- a/skills/platform/SKILL.md +++ b/skills/platform/SKILL.md @@ -64,13 +64,13 @@ diligence. - **Files** (`files`) — Your own home directory on this machine, and the code editor over it - API `/file-browser`, `/upload` · screen `/files`, `/code-editor` - a POST that is really a read, allowed at read level: `/download` +- **Sub-agents** (`sub-agents`) — Start another agent from a prompt, subject to the account budget + - API `/sub-agents` ## `execution` — runs as the server owner in the owner’s home. NEVER grantable, at any level, structurally - **Tasks and jobs** (`tasks`) — Running permissions, pipelines and background jobs - API `/tasks`, `/jobs`, `/pipeline-jobs`, `/queue` · socket `task-runner`, `pipeline` · screen `/jobs` -- **Minesweeper** (`minesweeper`) — A Windows Minesweeper session on a virtual display, as the server owner - - API `/minesweeper` · socket `minesweeper` · screen `/minesweeper` - **Permission authoring** (`items`) — Skills, tools, agents and processes on disk - API `/skills`, `/tools`, `/agents`, `/processes`, `/rescan` - **Scraping** (`browser`) — Fetches and renders a page in a headless browser, as the server owner @@ -87,6 +87,8 @@ diligence. - **User management** (`user-admin`) — Accounts, roles and what each role may reach - API `/users` · screen `/settings/user-management` - acts on the caller themselves, allowed with no grant: `PUT /` +- **Roles** (`roles`) — Create, rename and delete the roles this server grants + - API `/roles` # Keyboard shortcuts