ProvnAI builds security infrastructure for autonomous AI agents: runtime enforcement, governed execution, and audit-ready evidence at the boundary between agents and tools.
-
Updated
May 31, 2026
#
accountable-entities
Here are 4 public repositories matching this topic...
Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.
persistence theorem-proving formal-verification accountability semantic-interoperability lean4 formal-ontology neutral-substrate identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jul 1, 2026 - Lean
Authoritative specification of Accountable Entities (AE).
persistence formal-specification neutrality identity-regimes structural-explainability accountable-entities
-
Updated
Jul 1, 2026 - Python
Superseded: Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
persistence logic theorem-proving formal-verification accountability foundations cardinality semantic-interoperability lean4 formal-ontology identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jul 1, 2026 - Lean
Improve this page
Add a description, image, and links to the accountable-entities topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the accountable-entities topic, visit your repo's landing page and select "manage topics."