MPC Server by Chimera-Protocol
The Neuro-Symbolic safety layer for autonomous agents. Currently features formal verification via Z3, with a roadmap towards a Dual-Engine (Z3 + TLA+) runtime & Causal Inference audits.