Many real-world systems, such as robot teams, autonomous vehicles, warehouse robots, and drone swarms, require multiple agents to plan and move together without colliding with obstacles or one another. Diffusion models have recently shown strong potential for generating complex trajectories, but standard diffusion planners do not provide formal safety guarantees.