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日）+5%規模に対する直近7日の伸び
加速度-89%前週からの増加ペースの変化
注目度スコア283指標を0〜100に揃えて合成
指標の定義はこのサイトについて を参照。
star推移とtrending掲載（直近30日）
初掲載+163★/日デイリー
2026/9/192026/10/18
帯は trending に載った日（濃いほど上位）
日別の掲載順位を表で見る（2日）
| 日付 | デイリー |
|---|---|
| 2026年10月9日 | rust 5位 +63 |
| 2026年10月8日 | rust 7位 +121 |
リポジトリ作成 2026/3/9・trending 初掲載 2026/10/8
同じカテゴリの注目リポジトリ（開発ツール）
- mattn/yomivec
- jasonxu114514/opencode2api
- PowderworksCode/headstart
- akawashiro/procinsh
- pingdotgg/ts-rust
knowledge-graph 内の順位
| # | リポジトリ | ★ |
|---|---|---|
| 1 | 666ghj/MiroFish | 79,956 |
| 2 | DeusData/codebase-memory-mcp | 46,781 |
| 3 | topoteretes/cognee | 32,443 |
| 4 | tirth8205/code-review-graph | 32,222 |
| 5 | FalkorDB/FalkorDB | 10,404 |
| 6 | deeplethe/utopia | 8,413 |
| 7 | xerrors/Yuxi | 7,422 |
| 8 | raphaelmansuy/edgequake | 2,269 |
| 9 | zzet/gortex | 1,910 |
| 10 | fabio-rovai/open-ontologies | 1,077 |