kern

active

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.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/newmathphys/kern
License: NOASSERTION
Last update: 2026-11-14
GitHub stars: ★ 13
Homepage: newmathphys.github.io/kern/

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

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.