speckit-tasks
Generate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.
- License 许可
- Apache-2.0
- 最近更新
- 2026-11-12
- Stars
- ★ 3
- Forks
- 4
02 资源文件 18
- 参考文档_meta.json267 B
- 参考文档apps/commands.md1.7 KB
- 参考文档certs/commands.md1.1 KB
- 参考文档CHANGELOG.md559 B
- 参考文档cleanup/commands.md2.1 KB
- 参考文档config/commands.md1017 B
- 参考文档domains/commands.md1.7 KB
- 参考文档git/commands.md1.2 KB
- 参考文档install/commands.md1.8 KB
- 参考文档logs/commands.md805 B
- 参考文档network/commands.md926 B
- 参考文档nginx/commands.md958 B
- 参考文档plugin/commands.md980 B
- 参考文档ps/commands.md2.0 KB
- 参考文档README.md1.6 KB
- 参考文档run/commands.md1.0 KB
- 参考文档storage/commands.md852 B
- 参考文档upgrade/commands.md2.9 KB
03 SKILL.md 正文
Dokku
Dokku 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.
Section index
Detailed command syntax and examples live in each section file. Read the relevant file when performing that category of task.
| Section | File | Commands / topics |
|---|---|---|
| Apps | apps/commands.md | create, destroy, list, rename, clone, lock, unlock, report |
| Config | config/commands.md | get, set, unset, export |
| Domains | domains/commands.md | add, set, remove, set-global, report |
| Git / deploy | git/commands.md | from-image, set, deploy-branch, git push |
| Run (one-off / background) | run/commands.md | run, run:detached |
| Logs | logs/commands.md | logs, logs:failed, logs:set |
| Process (ps) | ps/commands.md | scale, rebuild, restart, start, stop |
| Plugin | plugin/commands.md | list, install, update, uninstall |
| Certs | certs/commands.md | add, remove, generate |
| Nginx | nginx/commands.md | build-config, show-config, set |
| Storage | storage/commands.md | mount, list |
| Network | network/commands.md | report, bind-all-interfaces |
| Install | install/commands.md | Installing Dokku (bootstrap, post-install, alternatives) |
| Upgrade | upgrade/commands.md | Upgrading Dokku; check migration guides before upgrading |
| Cleanup | cleanup/commands.md | Cleaning up Dokku and containers (prune, builder prune, apps) |
Quick reference
- Create app:
dokku apps:create <app-name> - Deploy (git): Add remote
dokku@<host>:<app-name>, thengit push dokku <branch>:master - Deploy (image):
dokku git:from-image <app> <docker-image> - Run in background (Dokku):
dokku run:detached <app> <cmd>ordokku run --detach <app> <cmd> - Agent-side background: For long deploys/installs, run the shell command via exec with
background: trueor shortyieldMs; poll or check logs as needed.
For full command details and options, see the section files above.
04 同仓库更多 Skills
tools-spin-sync
Synchronize Spin/Promela models with current source code and re-verify
tools-spin-model
Create a new Spin/Promela formal verification model for a system property
tools-creusot-install
Install the Creusot Rust verification tool
tools-creusot-init
Prepare an existing Cargo project to use Creusot formal verification
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
tools-creusot-annotate-interfaces
Formally verify a component's properties with Creusot and annotate its interface definitions