open-ontologies MCP Server
fabio-rovai/open-ontologies
[](https://agentrank-ai.com/tool/fabio-rovai--open-ontologies/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
claude mcp add agentrank -- npx -y agentrank-mcp-server Overview
fabio-rovai/open-ontologies is a Rust tool licensed under MIT. Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check. Topics: ai-native, description-logics, knowledge-graph, mcp, mcp-server, ontology, owl, owl2, reasoning, rust, shacl, sparql, isabelle-language, lean, lean4, formal-verification, theorem-proving, infrastructure-as-code.
Ranked #387 out of 24842 indexed tools.
In the top 2% of all indexed tools.
Has 1,026 GitHub stars.
Actively maintained with commits in the last week.
Ecosystem
Score Breakdown
1,026 stars → well-known project
Last commit 1d ago → actively maintained
82/97 issues closed → responsive maintainer
7 contributors → small team
No dependents → no downstream usage
Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →
Matched Queries
From the README
<p align="center"> </p> <h1 align="center">Open Ontologies</h1> <p align="center"> <strong>Plan a change to a production ontology. See every consequence before you apply it.<br> Then give the reviewer a proof that they can check without trust in you.</strong><br> Open Ontologies is written in Rust. It ships as one binary. </p> <p align="center"> <a href="https://tesseractsemantics.com"><strong>tesseractsemantics.com</strong></a> </p> <p align="center"> <a href="https://tesseractsemantics.com"></a> <a href="https://github.com/fabio-rovai/open-ontologies/stargazers"></a> <a href="https://github.com/fabio-rovai/open-ontologies/actions/workflows/ci.yml"></a> <a href="LICENSE"></a> <a href="https://github.com/fabio-rovai/open-ontologies/pkgs/container/open-ontologies"></a> <a href="https://github.com/sponsors/fabio-rovai"></a> </p> <p align="center"> <strong>English</strong> · <a href="README.zh-CN.md">简体中文</a> </p> <p align="center"> <a href="https://open-oRead full README on GitHub →
Get the weekly AgentRank digest
Top movers, new tools, ecosystem insights — straight to your inbox.