fabio-rovai / open-ontologies

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.

dbeaver / dbeaver

Free multi-platform desktop SQL client and database tool supporting any JDBC or ODBC database.