fabio-rovai / open-ontologies
git clone https://github.com/fabio-rovai/open-ontologies.git
v2.0.1 · 26d 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.
+90
stars, 24h · #393
+~290
stars, 7 days · #799
+~1.2k
stars, 30 days · #699
1.3k
★ total · +28% this week
184
forks · 2 open issues
Star history (as recorded here)
LanguageRust
LicenseMIT
Created2026-03-09 (7mo ago)
Last push1d 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 3d ago. Star deltas marked ~ are extrapolated from partial history.