代码库
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
Rust
ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4mcpmcp-serverontologyowlowl2reasoningrustshaclsparqltheorem-proving