Pinned Loading
Repositories
Showing 3 of 3 repositories
- kevros-formal-verification Public
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. Reproducible under $4 in compute.
taskhawk-systems/kevros-formal-verification’s past year of commit activity - kevros-mcp Public
Runtime intelligence server for autonomous AI agents. Governance verification, cryptographic provenance, and post-quantum attestation over MCP.
taskhawk-systems/kevros-mcp’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…