newmathphys

newmathphys/kern

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.

2 good first / help-wanted issues · Zig · last activity Oct 17, 2026

6 stars 1 forks 6 watchers Zig Other
ai-safety belnap-logic blake3 formal-verification lean4 mcp-server mutation-testing proof-carrying-code smt static-analysis z3 zig
View on GitHub Website
2 Open Issues Need Help Last updated: Oct 17, 2026

Open Issues Need Help

View All on GitHub
Good first issue: `--json` output mode for `tools/kern_contracts.py` 8 days ago
good first issue
newmathphys/kern
6

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.

Zig
#ai-safety#belnap-logic#blake3#formal-verification#lean4#mcp-server#mutation-testing#proof-carrying-code#smt#static-analysis#z3#zig
Help wanted: re-run the cross-architecture suite (QEMU ARM64 + POWERPC64) on the current 279-test set 8 days ago
help wanted
newmathphys/kern
6

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.

Zig
#ai-safety#belnap-logic#blake3#formal-verification#lean4#mcp-server#mutation-testing#proof-carrying-code#smt#static-analysis#z3#zig