fabio-rovai/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.
本番オントロジーの変更をPlan/Applyで安全管理 — 本番環境のオントロジーに対する変更をTerraformのようにplan→apply→rollbackでき、影響範囲（blast radius）レポートと監査者が再検証できる証明を提供するRust製ツールです。OWL/SHACL/SPARQL対応で、Lean4による形式検証まで組み込んでいる点が独自性です。MCPサーバーとしても動作し、AI連携にも対応します。
開発ツールai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving
指標
相対成長率（7日）+36%規模に対する直近7日の伸び
加速度+361%前週からの増加ペースの変化
注目度863指標を0〜100に揃えて合成
定着率はtrending初掲載から30日経過後に計算できる指標（それまでは表示しない）。指標の定義はこのサイトについて を参照。
star推移とTrending掲載（直近30日）
初掲載+315★/日デイリー
2026/9/302026/10/29
帯はtrendingに載った日（濃いほど上位）
日別の掲載順位を表で見る（5日）
| 日付 | デイリー |
|---|---|
| 2026年10月28日 | rust 4位 +343 |
| 2026年10月22日 | rust 8位 +43 |
| 2026年10月21日 | rust 5位 +56 |
| 2026年10月9日 | rust 5位 +63 |
| 2026年10月8日 | rust 7位 +121 |
リポジトリ作成 2026/3/9・trending初掲載 2026/10/8
同じカテゴリの注目リポジトリ（開発ツール）
knowledge-graph 内の順位
| # | リポジトリ | ★ |
|---|---|---|
| 1 | Graphify-Labs/graphify | 137,911 |
| 2 | 666ghj/MiroFish | 82,552 |
| 3 | DeusData/codebase-memory-mcp | 47,739 |
| 4 | TriliumNext/Trilium | 38,607 |
| 5 | topoteretes/cognee | 32,869 |
| 6 | tirth8205/code-review-graph | 32,458 |
| 7 | cocoindex-io/cocoindex | 11,775 |
| 8 | FalkorDB/FalkorDB | 10,496 |
| 9 | deeplethe/utopia | 8,601 |
| 10 | xerrors/Yuxi | 7,531 |
| 14 | fabio-rovai/open-ontologies | 1,899 |