[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KNEJA62MEEVDPBVQ8TTP2F":3,"skill-same:01M6KNEJA62MEEVDPBVQ8TTP2F":140},{"skillNo":4,"name":5,"nameZh":6,"description":7,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":16,"categories":17,"keywords":18,"publishedAt":39,"linkOnly":40,"markdownContent":41,"markdownBody":42,"frontMatter":43,"refName":44,"commitSha":45,"skillDirectory":46,"forksCount":47,"repositoryHtmlUrl":48,"repositoryHomepageUrl":6,"ownerHtmlUrl":49,"ownerBlogUrl":50,"ownerDescription":6,"updatedAt":51,"install":52,"resources":65},"01M6KNEJA62MEEVDPBVQ8TTP2F","speckit-tasks",null,"Generate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.","AI-native-Systems-Research\u002Fai-native-storage-certus","AI-native-Systems-Research","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F270755458?v=4","01M6KKQWSJX0D4X33E0KKSR4WM","AI-native Systems Research","01M6KKQWXTKR6MYVQMPKVJ5WD5",3,"Apache-2.0","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Fspeckit-tasks\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38],"tasks","speckit tasks","speckit","generation","for","true","kit","with","spec-kit","actionable","false","feature","design","project","structure","task","specify","artifacts","project structure","github","2026-11-10 10:12:30",false,"---\nname: dokku\ndescription: Installs, upgrades, and uses Dokku to create apps, deploy, run one-off\u002Fbackground tasks, and clean up containers. Use when the user asks to install or upgrade Dokku, deploy to Dokku, install an app, run something in the background, or clean up Dokku\u002Fcontainers. Trigger terms: dokku, install dokku, upgrade dokku, migration guide, deploy, cleanup, prune, containers.\nmetadata: {\"openclaw\":{\"requires\":{\"bins\":[\"dokku\"]}}}\n---\n\n# Dokku\n\nDokku is a PaaS; commands run on the Dokku host (SSH or local). Prefer running long operations (deploys, builds) in the **background** — use exec with `background: true` or short `yieldMs` when the tool allows.\n\n## Section index\n\nDetailed command syntax and examples live in each section file. Read the relevant file when performing that category of task.\n\n| Section                    | File                                       | Commands \u002F topics                                             |\n| -------------------------- | ------------------------------------------ | ------------------------------------------------------------- |\n| Apps                       | [apps\u002Fcommands.md](apps\u002Fcommands.md)       | create, destroy, list, rename, clone, lock, unlock, report    |\n| Config                     | [config\u002Fcommands.md](config\u002Fcommands.md)   | get, set, unset, export                                       |\n| Domains                    | [domains\u002Fcommands.md](domains\u002Fcommands.md) | add, set, remove, set-global, report                          |\n| Git \u002F deploy               | [git\u002Fcommands.md](git\u002Fcommands.md)         | from-image, set, deploy-branch, git push                      |\n| Run (one-off \u002F background) | [run\u002Fcommands.md](run\u002Fcommands.md)         | run, run:detached                                             |\n| Logs                       | [logs\u002Fcommands.md](logs\u002Fcommands.md)       | logs, logs:failed, logs:set                                   |\n| Process (ps)               | [ps\u002Fcommands.md](ps\u002Fcommands.md)           | scale, rebuild, restart, start, stop                          |\n| Plugin                     | [plugin\u002Fcommands.md](plugin\u002Fcommands.md)   | list, install, update, uninstall                              |\n| Certs                      | [certs\u002Fcommands.md](certs\u002Fcommands.md)     | add, remove, generate                                         |\n| Nginx                      | [nginx\u002Fcommands.md](nginx\u002Fcommands.md)     | build-config, show-config, set                                |\n| Storage                    | [storage\u002Fcommands.md](storage\u002Fcommands.md) | mount, list                                                   |\n| Network                    | [network\u002Fcommands.md](network\u002Fcommands.md) | report, bind-all-interfaces                                   |\n| **Install**                | [install\u002Fcommands.md](install\u002Fcommands.md) | Installing Dokku (bootstrap, post-install, alternatives)      |\n| **Upgrade**                | [upgrade\u002Fcommands.md](upgrade\u002Fcommands.md) | Upgrading Dokku; check migration guides before upgrading      |\n| **Cleanup**                | [cleanup\u002Fcommands.md](cleanup\u002Fcommands.md) | Cleaning up Dokku and containers (prune, builder prune, apps) |\n\n## Quick reference\n\n- **Create app:** `dokku apps:create \u003Capp-name>`\n- **Deploy (git):** Add remote `dokku@\u003Chost>:\u003Capp-name>`, then `git push dokku \u003Cbranch>:master`\n- **Deploy (image):** `dokku git:from-image \u003Capp> \u003Cdocker-image>`\n- **Run in background (Dokku):** `dokku run:detached \u003Capp> \u003Ccmd>` or `dokku run --detach \u003Capp> \u003Ccmd>`\n- **Agent-side background:** For long deploys\u002Finstalls, run the shell command via exec with `background: true` or short `yieldMs`; poll or check logs as needed.\n\nFor full command details and options, see the section files above.\n","# Dokku\n\nDokku is a PaaS; commands run on the Dokku host (SSH or local). Prefer running long operations (deploys, builds) in the **background** — use exec with `background: true` or short `yieldMs` when the tool allows.\n\n## Section index\n\nDetailed command syntax and examples live in each section file. Read the relevant file when performing that category of task.\n\n| Section                    | File                                       | Commands \u002F topics                                             |\n| -------------------------- | ------------------------------------------ | ------------------------------------------------------------- |\n| Apps                       | [apps\u002Fcommands.md](apps\u002Fcommands.md)       | create, destroy, list, rename, clone, lock, unlock, report    |\n| Config                     | [config\u002Fcommands.md](config\u002Fcommands.md)   | get, set, unset, export                                       |\n| Domains                    | [domains\u002Fcommands.md](domains\u002Fcommands.md) | add, set, remove, set-global, report                          |\n| Git \u002F deploy               | [git\u002Fcommands.md](git\u002Fcommands.md)         | from-image, set, deploy-branch, git push                      |\n| Run (one-off \u002F background) | [run\u002Fcommands.md](run\u002Fcommands.md)         | run, run:detached                                             |\n| Logs                       | [logs\u002Fcommands.md](logs\u002Fcommands.md)       | logs, logs:failed, logs:set                                   |\n| Process (ps)               | [ps\u002Fcommands.md](ps\u002Fcommands.md)           | scale, rebuild, restart, start, stop                          |\n| Plugin                     | [plugin\u002Fcommands.md](plugin\u002Fcommands.md)   | list, install, update, uninstall                              |\n| Certs                      | [certs\u002Fcommands.md](certs\u002Fcommands.md)     | add, remove, generate                                         |\n| Nginx                      | [nginx\u002Fcommands.md](nginx\u002Fcommands.md)     | build-config, show-config, set                                |\n| Storage                    | [storage\u002Fcommands.md](storage\u002Fcommands.md) | mount, list                                                   |\n| Network                    | [network\u002Fcommands.md](network\u002Fcommands.md) | report, bind-all-interfaces                                   |\n| **Install**                | [install\u002Fcommands.md](install\u002Fcommands.md) | Installing Dokku (bootstrap, post-install, alternatives)      |\n| **Upgrade**                | [upgrade\u002Fcommands.md](upgrade\u002Fcommands.md) | Upgrading Dokku; check migration guides before upgrading      |\n| **Cleanup**                | [cleanup\u002Fcommands.md](cleanup\u002Fcommands.md) | Cleaning up Dokku and containers (prune, builder prune, apps) |\n\n## Quick reference\n\n- **Create app:** `dokku apps:create \u003Capp-name>`\n- **Deploy (git):** Add remote `dokku@\u003Chost>:\u003Capp-name>`, then `git push dokku \u003Cbranch>:master`\n- **Deploy (image):** `dokku git:from-image \u003Capp> \u003Cdocker-image>`\n- **Run in background (Dokku):** `dokku run:detached \u003Capp> \u003Ccmd>` or `dokku run --detach \u003Capp> \u003Ccmd>`\n- **Agent-side background:** For long deploys\u002Finstalls, run the shell command via exec with `background: true` or short `yieldMs`; poll or check logs as needed.\n\nFor full command details and options, see the section files above.\n",{},"main","e7e336ac628c3e3bd771aff1aaa469c93778f94a","components\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Fspeckit-tasks",4,"https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research","https:\u002F\u002Fai-native-systems-research.github.io\u002Fai-native-systems-research\u002F","2026-11-12 03:45:04",{"source":8,"skillName":5,"commands":53,"prompt":63,"zipAvailable":64},[54,57,60],{"tool":55,"command":56},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-tasks",{"tool":58,"command":59},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-tasks",{"tool":61,"command":62},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill speckit-tasks","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Fspeckit-tasks\u002FSKILL.md",true,[66,72,76,80,84,88,92,96,100,104,108,112,116,120,124,128,132,136],{"path":67,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":70,"sourceHtmlUrl":71},"_meta.json","REFERENCE","参考文档",267,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002F_meta.json",{"path":73,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":74,"sourceHtmlUrl":75},"apps\u002Fcommands.md",1773,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fapps\u002Fcommands.md",{"path":77,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":78,"sourceHtmlUrl":79},"certs\u002Fcommands.md",1126,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fcerts\u002Fcommands.md",{"path":81,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":82,"sourceHtmlUrl":83},"CHANGELOG.md",559,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002FCHANGELOG.md",{"path":85,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":86,"sourceHtmlUrl":87},"cleanup\u002Fcommands.md",2161,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fcleanup\u002Fcommands.md",{"path":89,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":90,"sourceHtmlUrl":91},"config\u002Fcommands.md",1017,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fconfig\u002Fcommands.md",{"path":93,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":94,"sourceHtmlUrl":95},"domains\u002Fcommands.md",1762,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fdomains\u002Fcommands.md",{"path":97,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":98,"sourceHtmlUrl":99},"git\u002Fcommands.md",1242,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fgit\u002Fcommands.md",{"path":101,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":102,"sourceHtmlUrl":103},"install\u002Fcommands.md",1817,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Finstall\u002Fcommands.md",{"path":105,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":106,"sourceHtmlUrl":107},"logs\u002Fcommands.md",805,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Flogs\u002Fcommands.md",{"path":109,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":110,"sourceHtmlUrl":111},"network\u002Fcommands.md",926,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fnetwork\u002Fcommands.md",{"path":113,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":114,"sourceHtmlUrl":115},"nginx\u002Fcommands.md",958,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fnginx\u002Fcommands.md",{"path":117,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":118,"sourceHtmlUrl":119},"plugin\u002Fcommands.md",980,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fplugin\u002Fcommands.md",{"path":121,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":122,"sourceHtmlUrl":123},"ps\u002Fcommands.md",2082,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fps\u002Fcommands.md",{"path":125,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":126,"sourceHtmlUrl":127},"README.md",1663,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002FREADME.md",{"path":129,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":130,"sourceHtmlUrl":131},"run\u002Fcommands.md",1054,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Frun\u002Fcommands.md",{"path":133,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":134,"sourceHtmlUrl":135},"storage\u002Fcommands.md",852,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fstorage\u002Fcommands.md",{"path":137,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":138,"sourceHtmlUrl":139},"upgrade\u002Fcommands.md",2973,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakhil-naidu\u002Fdokku\u002Fupgrade\u002Fcommands.md",[141,159,174,185,201,213],{"skillNo":142,"name":143,"nameZh":6,"description":144,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":145,"categories":146,"keywords":147,"publishedAt":39},"01M6KP29TWSNGADF3AJ47BR7TY","tools-spin-sync","Synchronize Spin\u002FPromela models with current source code and re-verify","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-spin-sync\u002FSKILL.md",[],[148,149,150,151,152,153,154,155,26,156,157,158],"tools spin sync","Tools","sync","code","verify","model","models","name","re","source","source code",{"skillNo":160,"name":161,"nameZh":6,"description":162,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":163,"categories":164,"keywords":165,"publishedAt":39},"01M6KP277TDY3ZAJEBP5P6MDT8","tools-spin-model","Create a new Spin\u002FPromela formal verification model for a system property","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-spin-model\u002FSKILL.md",[],[166,153,149,167,168,169,23,170,171,172,173],"tools spin model","system","formal verification","number","prove","new","create","verification",{"skillNo":175,"name":176,"nameZh":6,"description":177,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":178,"categories":179,"keywords":180,"publishedAt":39},"01M6KP250W406CEDSF02BRXT9D","tools-creusot-install","Install the Creusot Rust verification tool","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-install\u002FSKILL.md",[],[181,182,149,183,173,184],"tools creusot install","install","rust","tool",{"skillNo":186,"name":187,"nameZh":6,"description":188,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":189,"categories":190,"keywords":191,"publishedAt":39},"01M6KP22H28FQ1X0V7VJHEFWXD","tools-creusot-init","Prepare an existing Cargo project to use Creusot formal verification","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-init\u002FSKILL.md",[],[192,149,193,32,194,195,196,173,197,168,198,199,200],"tools creusot init","init","directory","components","prepare","use","cargo","manager","Existing",{"skillNo":202,"name":203,"nameZh":6,"description":204,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":205,"categories":206,"keywords":207,"publishedAt":39},"01M6KP1V506J9YM8DKKVDG1NRE","tools-creusot-coq-install","Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-coq-install\u002FSKILL.md",[],[208,209,182,149,23,200,210,211,173,212],"tools creusot coq install","Coq","as","installation","add",{"skillNo":214,"name":215,"nameZh":6,"description":216,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":217,"categories":218,"keywords":219,"publishedAt":39},"01M6KP1PQJF3H765TYZAZ7P3EF","tools-creusot-annotate-interfaces","Formally verify a component's properties with Creusot and annotate its interface definitions","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-annotate-interfaces\u002FSKILL.md",[],[149,220,221,26,155,222,152,223,224],"tools creusot annotate interfaces","annotate","properties","component","interface"]