Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
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.
This repository also configures its own agents. See what open-ontologies tells them →
Plugin Claude Code
Bundles 2 skills, 1 MCP server · 156 tokens together
A Terraforming MCP for Knowledge Graphs: validate, classify, and govern AI-generated ontologies.