1
Published Tools
10
Total Stars
0
Weekly Downloads
0
GitHub Followers
7
Public Repos
Published Tools
1 MCP Serveracross 1 categorynewmathphys
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.
...moreMCP Serveruncategorised
101 dir