Open Ontologies MCP Server

by fabio-rovai• 2.7k•• Scanned•Claim this listing•Request removal
Security & Testingai nativedescription logicsformal verificationinfrastructure as codeisabelle language

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 an open-source mcp server by fabio-rovai, written mainly in Rust, with 2,656 GitHub stars and the MIT license. Its code was last updated Oct 30, 2026.

Scan summary: scanned Nov 5, 2026 at commit 375fbc4. Seen able to run shell commands, read environment and secrets. Scan policy

What Open Ontologies can touch

  • Run shell commandsFound in the code by our scan
  • Run dynamic codeNot seen in this scan
  • Read or write filesNot seen in this scan
  • Read environment and secretsFound in the code by our scan
  • Control a web browserNot seen in this scan
  • Connect to databasesNot seen in this scan
  • Read or send messagesNot seen in this scan
  • Touch money or tradingNot seen in this scan
  • Connect to the internetNot run in this scan

"Not seen" means our checks did not find it, and the tool may still do it. Covers commit 375fbc4, Nov 5, 2026. See the scan policy.

Before you install Open Ontologies

AgenticMart scanned Open Ontologies on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.

What it can access

  • An MCP server is a program your AI app starts and talks to. A local one runs with your user's permissions: it can see the files, environment variables and network your account can.

Before you install

  1. Pin the version you reviewed instead of always installing the latest release.
  2. Read the tool list or scripts before the first run, and keep approval prompts on for actions that write, send or delete.
  • Maintained by fabio-rovai on GitHub, 2,656 stars and 293 forks. Popularity is not proof of safety.
  • Last code change: Oct 30, 2026.
  • Open-source license: MIT.

Open Ontologies is an open-source mcp server by fabio-rovai, written mainly in Rust. Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

At a glance

Stars
2.7k
Forks
293
Language
Rust
License
MIT
Created
Mar 2026
Last update
Oct 30, 2026
Type
MCP Server
Price
Free

Topics

ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving

Questions about Open Ontologies

What is 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.

Who maintains Open Ontologies?

Open Ontologies is maintained by fabio-rovai on GitHub (fabio-rovai/open-ontologies). AgenticMart lists it from public repository data.

Is Open Ontologies safe to use?

AgenticMart scanned Open Ontologies on Nov 5, 2026 with automated checks for hidden code, known-malicious packages, leaked secrets and vulnerable dependencies. The result covers one commit under our scan policy, so review what access you give it and check any advisories shown here.

What license does Open Ontologies use?

It is published under the MIT license.

Open Ontologies alternatives

View more →

Similar mcp servers in Security & Testing, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

NameStarsLicenceLast updatedScan
Open Ontologies (this page)
fabio-rovai
2.7kMITOct 30, 2026Scanned, no flagged issues
Hexstrike AI
0x4m4
13kMITAug 3, 2026Scanned, no flagged issues
Viper
FunnyWolf
5.3kNone foundMay 31, 2026Not scanned yet
Qu1cksc0pe
CYB3RMX
2.1kGPL-3.0Sep 18, 2026Scanned, no flagged issues
Cve MCP Server
mukul975
1.7kApache-2.0Oct 1, 2026Scanned, no flagged issues
LitterBox
BlackSnufkin
1.6kGPL-3.0May 5, 2026Scanned, no flagged issues