swarmion-commit
Use when creating a git commit for Swarmion or Protos work where the commit message should be detailed, project-authored, and non-agentic.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Use when creating a git commit for Swarmion or Protos work where the commit message should be detailed, project-authored, and non-agentic.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
Run Swarmion integration tests against the simulator, a local Docker engine, or a reusable cloud VM Docker context. Use when Codex needs to execute, debug, or explain Swarmion integration-test workflows, including deploying or destroying reusable cloud test VMs, reusing Docker cache volumes, running Docker-backed tests from inside the runner container, cleaning up peer containers, and copying artifact volumes back locally.
Use when working in the Swarmion repo and needing to run or explain Quint sampling profiles, Quint TLC/Apalache finalized-boundary proofs, cloud profile sampling, or Go ITF conformance tests.
| name | swarmion-commit |
| description | Use when creating a git commit for Swarmion or Protos work where the commit message should be detailed, project-authored, and non-agentic. |
When asked to commit changes:
Message style:
Generated-by, Co-authored-by, or similar metadata.