fabio-rovai/open-ontologies

Open Ontologies is a Rust tool for planning, checking, applying, and rolling back changes to production ontologies, which are formal descriptions of concepts and their relationships. It helps ontology maintainers and reviewers inspect the consequences of edits and verify the resulting evidence with a Lean 4 checker. The catalogue includes add-ons such as skills, an instruction, a plugin, and an MCP integration for working with it.