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.
Why this job: works in the areas we cover, but does not say which job it does
What it does
Then give the reviewer a proof that they can check without trust in you. Open Ontologies is written in Rust. It ships as one binary.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 5 days ago
- Stars
- 2,856
- +33 this week
- Licence
- MIT
- Allows business use
- Downloads for
- 3 systems
- Mac, Windows, Linux
- Latest version
- v2.1.0
- Released 17 days ago
- Built with
- Rust
- 64% of the code
Is it looked after?
- Contributors
- 1
- Last 90 days
- Issues
- 100% closed
- 0 still open
- Pull requests
- 235 merged
- 1 waiting
- Releases
- 16
- 16 in the last year
- Contributing guide (opens in new tab)
- Security policy (opens in new tab)
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| sahibzada-allahyar / Formal-Verification-RSI | 2,885 | 18 days ago | MIT | No downloads |
More: download files, languages, topics and project record
Download files, v2.1.0
- Mac2 files, 244 downloads
- Windows1 file, 110 downloads
- Linux6 files, 2,206 downloads
Languages
- Rust 64%
- Python 12%
- Lean 10%
- HTML 5%
Topics
- ai-native
- description-logics
- formal-verification
- infrastructure-as-code
- isabelle-language
- knowledge-graph
- lean
- lean4
- mcp
- mcp-server
- ontology
- owl
Project record
- JobOther AI tools
- StatusListed
- Commits1,082
- Forks320
- Watching22
- Stars in 28 days+1,157
- CreatedMar 9, 2026
- First seen by usNov 7, 2026
- CheckedNov 7, 2026