verigate-mcp

*VeriGate-A2A** is an ultra-fast, zero-python formal verification gateway designed for autonomous AI agents, enterprise swarms, and defensive security frameworks. Built in 100% static Musl Rust on Cloud Run, it executes sub-50ms linear invariant proofs to ensure agent tool calls never violate security bounds or system constraints. ### Key Capabilities - **Farkas Dual-Cone Pre-Solver**: Ultra-low latency (<0.05µs) pre-flight invariant solver checking Lipschitz continuity and state boundaries bef