01Formal verification of governing equations with Lean 4 and Halo2 ZK circuits for computation integrity
02O(log N) memory scaling for physics simulations using Quantized Tensor Trains (QTT)
03Platform Shell with REST API, Python SDK, CLI, and MCP Server for AI agents
040 GitHub stars
05Generation of Ed25519-signed trust certificates for verified simulation outputs
06Supports 7 core physics domains (e.g., Navier-Stokes, Schrödinger, Maxwell) and 8 QTT meta-primitives