efremov@linux.com Denis Efremov https://github.com/eventb-rossi/rossi/issues eventb-rossi/rossi Rossi is a Rust toolchain for Event-B providing a parser, a static checker, a command-line interface, and a language server. It validates Event-B models, converts between Event-B text and Rodin archives, reformats models, and powers editor integration over the Language Server Protocol.