Swarm protocols are a recently introduced formalism for specifying and verifying the behaviour of distributed interacting agents, referred to as machines. A swarm of machines operates under a local-first paradigm, enabling each machine to make progress independently without requiring up-to-date global information or an active connection. This decentralized design enhances the availability and efficiency of swarm systems. They are implemented in the open-source Actyx toolkit for factory automation. In this talk, we address the challenge of making swarm protocols compositional: we extend both theory and software framework to allow the development of large and complex protocols by combining modular, reusable protocol components that are developed and verified independently. In the first half of the talk we introduce the theory of swarm protocols and show how we extend it to allow compositionality. In the second half, we give a live demonstration of our tool for compositional verification and implementation of swarm protocols. Below we outline each of our talking points.