efremov@linux.com Denis Efremov https://github.com/eventb-rossi/rodin-headless/issues eventb-rossi/rodin-headless rodin-headless drives the Rodin Platform from the command line to build, model-check, and prove Event-B models without a graphical session. It takes .zip archives of Event-B projects, runs a full Rodin workspace build headlessly, and writes the static-checked artifacts back into the archives. Beyond plain builds it can model-check and validate models with ProB and discharge proof obligations with the Rodin auto-provers. The Rodin and ProB runtimes are downloaded on first use by the bundled rodin-headless-install command rather than shipped with this package.