Mathematical Evidence Kernel in Anubis: every answer declares its epistemic class (exact / checked / estimated / bounded / Lean-checked formal-bounded / model-based) or refuses. 34 Hermes tools, certified bound_step composition (int_cert_sound), content-addressed claim bundles with independent replay, byte-reproducible sealed releases.
scientific-computing interval-arithmetic formal-verification numerical-analysis reproducible-builds evidence trustworthy-computing lean4 anubis-lang claim-compiler hermes-plugin-backend
-
Updated
Aug 18, 2026 - Python