fabio-rovai / open-ontologies
git clone https://github.com/fabio-rovai/open-ontologies.git
v2.0.1 · 25d ago
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.
Why you might care
For teams maintaining production OWL ontologies who need to see every inferred consequence of an edit before applying it. Ships as one MIT-licensed binary, and its certificates can be re-checked by a Lean 4 checker without trusting the tool's output.
+14
stars, 24h · #2,482
+~177
stars, 7 days · #1,237
+~760
stars, 30 days · #1,096
1.2k
★ total · +17% this week
169
forks · 17 open issues
Star history (as recorded here)
LanguageRust
LicenseMIT
Created2026-03-09 (7mo ago)
Last push6d ago
Watchers12
OwnerUser
Seen on GitHub Trending
- 2026-10-22 — #8 daily in rust · +43 ★
- 2026-10-21 — #5 daily in rust · +56 ★
- 2026-10-20 — #5 daily in rust · +52 ★
GitHub topics
ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving
Links
- GitHub: github.com/fabio-rovai/open-ontologies
- Homepage: https://tesseractsemantics.com
- Releases · Issues · Hacker News mentions
README
Loading README…
Blurb generated by claude-haiku-5-5 2d ago. Star deltas marked ~ are extrapolated from partial history.