Agent: CursorLLM: Claude 3.5#ontology#knowledge-graph#formal-verification#rust#ai-infrastructure
A Rust-based tool for managing production ontologies with formal verification, theorem proving, and knowledge graph reasoning. Provides blast radius reports and auditable proofs for ontology changes.
