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.

MCP servers & toolsRust MIT 326created 2026-03-09

Website GitHub

Stars

2,892

1-day growth

—

7-day growth

—

30-day growth

—

Star history

Tracked since 2026-11-13

The chart appears after at least 2 days of data.

#ai-native#description-logics#formal-verification#infrastructure-as-code#isabelle-language#knowledge-graph#lean#lean4#mcp#mcp-server#ontology#owl#owl2#reasoning#rust#shacl#sparql#theorem-proving

Top contributors

Not collected yet (contributors job).