Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.
Python Updated 15 days ago 1 commits 10 stars
flux-agent|Mirror: newmathphys/kern (⭐10)
15 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Zero-trust L0-L5 verification gateway in Zig 0.17: native Z3 proof-DAG checker, Belnap B4 logic, 42 Lean 4 theorems (0 sorry), 8-lane SIMD BLAKE3 (.kimg) & MCP server.
Readme
10 stars
3 forks