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.

hashicorp / terraform

Terraform core: a CLI and graph engine for declaring, planning, and applying infrastructure changes from versioned configuration files.