Open Ontologies

未申請

作者: fabio-rovai

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の他のサーバー

ディレクトリ全体を見る

未申請リスティング

このMCPサーバーはあなたのものですか？

このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。

このサーバーを申請する

セキュリティプロファイル

申請済みおよび認証済みのサーバーは毎週の静的スキャンを受け、コードが到達できる範囲（外部サービス、環境変数、シェルコマンド、エージェント設定フォルダ）と既知のアドバイザリを持つ依存関係が表示されます。このリスティングを申請すると利用できます。セキュリティプロファイルの仕組み

ドキュメントに記載されたツール (1)

プロジェクトのドキュメントに基づきます。サーバーのハンドシェイクは、各ツールの説明や動作を検証するものではありません。

CQs

cqrun verifycq cqverdictslist

ツールの変更履歴

同じ設定での完全なチェック同士を比較します。ツールの列挙のみで実行はしていません。入力スキーマの変更は測定していません。

完全なツールチェックはまだありません。