efremov@linux.com Denis Efremov https://github.com/eventb-rossi/eventb-checker/issues eventb-rossi/eventb-checker eventb-checker validates Event-B models without requiring a Rodin Platform installation. It bundles the Rodin AST libraries and checks machines and contexts for well-formedness errors.