Skip to content
#

permission-before-power

Star

Here is 1 public repository matching this topic...

taskhawk-systems / kevros-formal-verification

Star 1

Formal verification of the Kevros AI Governance Enforcement Kernel. 1.94B states exhaustively checked (TLC), 20 machine-checkable theorems (Lean 4, 0 sorry), 71 proofs across 6 layers, zero violations.

state-machine model-checking formal-verification autonomous-agents ai-safety safety-critical ai-agents runtime-verification tlaplus lean4 ai-governance cryptographic-proof permission-before-power
  • Updated Apr 11, 2026
  • Lean

Improve this page

Add a description, image, and links to the permission-before-power topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the permission-before-power topic, visit your repo's landing page and select "manage topics."

Learn more