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.

aboutREADMEsecurityreviews
–
No reviews yet
Write a review

Sign in with GitHub to rate this listing.

    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