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.
ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving
安装
$
docker run -i ghcr.io/fabio-rovai/open-ontologies serve更多AI & ML服务器
浏览完整目录安全概况
已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。 安全概况的工作原理
文档中列出的工具 (1)
内容来自项目文档。服务器握手不会验证每个工具的说明或行为。