Popular repositories Loading
-
kevros-formal-verification
kevros-formal-verification PublicFormal 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 violati…
Lean 1
-
402-crawler-spec
402-crawler-spec PublicReference crawler and discovery schemas for L402, x402, and MPP paid API endpoints. Built for 402 Index.
Python
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 - 402-crawler-spec Public
Reference crawler and discovery schemas for L402, x402, and MPP paid API endpoints. Built for 402 Index.
taskhawk-systems/402-crawler-spec’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…