{"slug":"open-ontologies","name":"open-ontologies","author":"fabio-rovai","domain":"data","integrations":["MCP","Claude","Cursor"],"language":null,"license":"MIT","stars":944,"traits":["oss","mcp"],"summary":"An MCP server for planning, applying, and rolling back changes to a production ontology, with a Rust engine for OWL/RDFS reasoning, SHACL validation, and SPARQL, producing Lean-4-verifiable derivation certificates.","repo":"https://github.com/fabio-rovai/open-ontologies","community":true,"tip":{"method":"x402","network":"eip155:8453","endpoint":"/api/tip/open-ontologies","note":"GET with an x402 client to tip the author; returns 402 with payment requirements until paid."}}