Open Ontologies MCP Server
by fabio-rovaiSecurity & 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
ScannedScanned. The automated checks below ran on the commit shown. Read each line for what was and was not covered.
Full scan at
375fbc4 · Nov 5, 2026 ScannedStatic, secrets and dependency checks completed with no critical findings.
Warning. This check found something worth reading in the findings below. It is not proof of a problem.Static code scanwarnWarning. This check found something worth reading in the findings below. It is not proof of a problem.
Passed. This check ran and found nothing it flags.Secrets scanpassPassed. This check ran and found nothing it flags.
Flagged. This check found an issue. See the findings below.Dependency audit148 known vulnerabilitiesfailFlagged. This check found an issue. See the findings below.
Passed. This check ran and found nothing it flags.ManifestSKILL.mdpassPassed. This check ran and found nothing it flags.
Not applicable. This check does not apply to this kind of project, or it was not run in this scan.Buildn/aNot applicable. This check does not apply to this kind of project, or it was not run in this scan.
Not applicable. This check does not apply to this kind of project, or it was not run in this scan.Boot & handshaken/aNot applicable. This check does not apply to this kind of project, or it was not run in this scan.
Not applicable. This check does not apply to this kind of project, or it was not run in this scan.Network egressn/aNot applicable. This check does not apply to this kind of project, or it was not run in this scan.
Not applicable. This check does not apply to this kind of project, or it was not run in this scan.Reproducible (×3)n/aNot applicable. This check does not apply to this kind of project, or it was not run in this scan.
Findings (46)
- highHigh. Something risky that needs a close look before you install.dependencies issueDetails are available to the maintainer after claiming this listing.
- highHigh. Something risky that needs a close look before you install.dependencies issueDetails are available to the maintainer after claiming this listing.
- highHigh. Something risky that needs a close look before you install.dependencies issueDetails are available to the maintainer after claiming this listing.
- highHigh. Something risky that needs a close look before you install.dependencies issueDetails are available to the maintainer after claiming this listing.
- mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.Runs shell commands. Fine for some tools, but it means the agent can run anything your user can.
tools/imgflip/resize.py:32 - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.quick-xml@0.37.5: 2 known vulnerabilitiesRUSTSEC-2026-0194, RUSTSEC-2026-0195
Cargo.lock - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.rmcp@1.4.0: 4 known vulnerabilitiesGHSA-33f5-2c5q-wgwj, GHSA-9g45-5xwm-f3wc, GHSA-9pj6-vhgr-3mwh, GHSA-c9xm-49cp-xcr9
Cargo.lock - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.com.fasterxml.jackson.core:jackson-core@2.16.1: 3 known vulnerabilitiesGHSA-72hv-8253-57qq, GHSA-7hhh-6rmp-j9qf, GHSA-r7wm-3cxj-wff9
benchmark/reasoner/pom.xml - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.com.fasterxml.jackson.core:jackson-databind@2.16.1: 12 known vulnerabilitiesGHSA-3pjw-73gf-8qr5, GHSA-5gvw-p9qm-jgwh, GHSA-5jmj-h7xm-6q6v, GHSA-cxp5-3px4-pw24, GHSA-gx83-3vf8-gh7j +7 more
benchmark/reasoner/pom.xml - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.com.google.guava:guava@33.0.0-jre: 1 known vulnerabilityGHSA-xxph-c9ww-hj94
benchmark/reasoner/pom.xml - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.gradio@6.9.0: 3 known vulnerabilitiesPYSEC-2026-211, PYSEC-2026-2178, PYSEC-2026-2179
case-studies/onto-correctness-bench/space/requirements.txt - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.orjson@3.9.9: 2 known vulnerabilitiesPYSEC-2024-40, PYSEC-2026-107
case-studies/onto-correctness-bench/space/requirements.txt - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.starlette@0.52.1: 5 known vulnerabilitiesPYSEC-2026-161, PYSEC-2026-2280, PYSEC-2026-2281, PYSEC-2026-248, PYSEC-2026-249
case-studies/onto-correctness-bench/space/requirements.txt - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.setuptools@9.1.0: 4 known vulnerabilitiesPYSEC-2022-43012, PYSEC-2025-49, PYSEC-2026-1918, PYSEC-2026-3447
demo/requirements.txt - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.openssl@0.10.76: 8 known vulnerabilitiesGHSA-8c75-8mhr-p7r9, GHSA-ghm9-cr32-g9qj, GHSA-hppc-g8h3-xhp3, GHSA-phqj-4mhp-q6mq, GHSA-pqf5-4pqq-29f5 +3 more
studio/src-tauri/Cargo.lock - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.quick-xml@0.38.4: 2 known vulnerabilitiesRUSTSEC-2026-0194, RUSTSEC-2026-0195
studio/src-tauri/Cargo.lock - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.rustls-webpki@0.103.9: 5 known vulnerabilitiesRUSTSEC-2026-0049, RUSTSEC-2026-0098, RUSTSEC-2026-0099, RUSTSEC-2026-0104, RUSTSEC-2026-0382
studio/src-tauri/Cargo.lock - mediumMedium. Worth checking, often a vulnerable dependency or a setup problem.tauri@2.10.3: 1 known vulnerabilityGHSA-7gmj-67g7-phm9
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.anymap2@0.13.0: 1 known vulnerabilityRUSTSEC-2026-0319
Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.arrow-data@58.3.0: 1 known vulnerabilityRUSTSEC-2026-0442
Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.bincode@1.3.3: 1 known vulnerabilityRUSTSEC-2025-0141
Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.paste@1.0.15: 1 known vulnerabilityRUSTSEC-2024-0436
Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.unsafe-libyaml@0.2.11: 1 known vulnerabilityRUSTSEC-2024-0449
Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.org.apache.james:apache-mime4j-core@0.7.2: 1 known vulnerabilityGHSA-jw7r-rxff-gv24
benchmark/reasoner/pom.xml - lowLow. Minor, or common in normal tools. Shown for information.idna@3.9.0: 5 known vulnerabilitiesPYSEC-2026-215, PYSEC-2026-215, PYSEC-2026-215, PYSEC-2026-215, PYSEC-2026-215
case-studies/bio-kg-triage/requirements.txt - lowLow. Minor, or common in normal tools. Shown for information.anyhow@1.0.102: 1 known vulnerabilityRUSTSEC-2026-0190
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.event-listener@5.4.1: 1 known vulnerabilityRUSTSEC-2026-0221
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.fxhash@0.2.1: 1 known vulnerabilityRUSTSEC-2025-0057
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.glib@0.18.5: 1 known vulnerabilityRUSTSEC-2024-0429
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.h2@0.4.13: 1 known vulnerabilityRUSTSEC-2026-0258
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.pin-utils@0.1.0: 1 known vulnerabilityRUSTSEC-2026-0441
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.proc-macro-error@1.0.4: 1 known vulnerabilityRUSTSEC-2024-0370
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.rand@0.7.3: 1 known vulnerabilityRUSTSEC-2026-0097
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.rand@0.8.5: 1 known vulnerabilityRUSTSEC-2026-0097
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.rustls@0.23.37: 4 known vulnerabilitiesRUSTSEC-2026-0285, RUSTSEC-2026-0346, RUSTSEC-2026-0348, RUSTSEC-2026-0349
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.serde_with@3.18.0: 1 known vulnerabilityGHSA-7gcf-g7xr-8hxj
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.tokio@1.50.0: 1 known vulnerabilityRUSTSEC-2026-0386
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.unic-char-property@0.9.0: 1 known vulnerabilityRUSTSEC-2025-0081
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.unic-char-range@0.9.0: 1 known vulnerabilityRUSTSEC-2025-0075
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.unic-common@0.9.0: 1 known vulnerabilityRUSTSEC-2025-0080
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.unic-ucd-ident@0.9.0: 1 known vulnerabilityRUSTSEC-2025-0100
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.unic-ucd-version@0.9.0: 1 known vulnerabilityRUSTSEC-2025-0098
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.zbus_names@4.3.1: 1 known vulnerabilityRUSTSEC-2026-0371
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.zvariant@5.10.0: 1 known vulnerabilityRUSTSEC-2026-0370
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.zvariant_derive@5.10.0: 1 known vulnerabilityRUSTSEC-2026-0372
studio/src-tauri/Cargo.lock - lowLow. Minor, or common in normal tools. Shown for information.Reads environment variables not listed in the manifestQWEN_HOST, ANTHROPIC_API_KEY, OO_BIN, JAVA, NAPH_OXIGRAPH_PORT, MDS_TOKEN, RSSC_ROOT, VB_API, VB_MAXTOK, ONTO_LLM_BASE_URL, ONTO_LLM_API_KEY, ONTO_LLM_MODEL, ONTO_ENGINE, NO_COLOR, ONTO_DISJOINT_SAMPLES
Automated result for the commit shown. See our scan policy. View the scan log
Maintainers can claim the listing to rescan, or dispute a result.
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.
| Name | Stars | Licence | Last updated | Scan |
|---|---|---|---|---|
| Open Ontologies (this page) fabio-rovai | 2.7k | MIT | Oct 30, 2026 | Scanned, no flagged issues |
| Hexstrike AI 0x4m4 | 13k | MIT | Aug 3, 2026 | Scanned, no flagged issues |
| Viper FunnyWolf | 5.3k | None found | May 31, 2026 | Not scanned yet |
| Qu1cksc0pe CYB3RMX | 2.1k | GPL-3.0 | Sep 18, 2026 | Scanned, no flagged issues |
| Cve MCP Server mukul975 | 1.7k | Apache-2.0 | Oct 1, 2026 | Scanned, no flagged issues |
| LitterBox BlackSnufkin | 1.6k | GPL-3.0 | May 5, 2026 | Scanned, no flagged issues |