tool-call-verification
Deterministic verification gateway for MCP — risk-gated Python execution in a restricted environment, math/logic/code/SQL verification engines, and skill supply-chain provenance guard