Menu
Use when creating a git commit for Swarmion or Protos work where the commit message should be detailed, project-authored, and non-agentic.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
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.