Skip to main content
ClaudeWave
EN, English
fabio-rovai / MCP Servers

open-ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

  • 1.2k stars
  • 175 forks
  • 17 open issues
  • Language: Rust
  • License: MIT
  • updated

Install

Claude Code CLI
git clone https://github.com/fabio-rovai/open-ontologies
  1. Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).
  2. Replace any <placeholder> values with your API keys or paths.
  3. Restart Claude. The MCP server and its tools appear automatically.

Install the binary first: cargo install open-ontologies (or build from https://github.com/fabio-rovai/open-ontologies).

README

MCP Servers overview

README preview not available. Visit the repo on GitHub for full documentation.
Use cases
Topics
ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving
Frequently asked

What people ask about open-ontologies

What is fabio-rovai/open-ontologies?

fabio-rovai/open-ontologies is mcp servers for the Claude AI ecosystem. Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check. It has 1.2k GitHub stars and its last recorded update is dated 2026-10-17.

How do I install open-ontologies?

You can install open-ontologies by cloning the repository (https://github.com/fabio-rovai/open-ontologies) or following the README instructions on GitHub. ClaudeWave also provides quick install blocks on this page.

Is fabio-rovai/open-ontologies safe to use?

Our security agent has analyzed fabio-rovai/open-ontologies and assigned a Trust Score of 97/100 (tier: Verified). See the full breakdown of passed checks and flags on this page.

Who maintains fabio-rovai/open-ontologies?

fabio-rovai/open-ontologies is maintained by fabio-rovai. The last recorded GitHub activity is dated 2026-10-17, with 17 open issues.

Are there alternatives to open-ontologies?

Yes. On ClaudeWave you can browse similar mcp servers at /categories/mcp, sorted by popularity or recent activity.