Skip to content
#

cryptographic-proof

Star

Here is 1 public repository matching this topic...

Language: Lean
Filter by language
All 13 Python 5 Shell 3 TypeScript 2 HTML 1 Lean 1 Svelte 1

taskhawk-systems / kevros-formal-verification

Star 2

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 May 16, 2026
  • Lean

Improve this page

Add a description, image, and links to the cryptographic-proof 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 cryptographic-proof topic, visit your repo's landing page and select "manage topics."

Learn more