PreFlight

ICME Labs has launched three products—Verbatim Deterministic Gateway, PreFlight, and PreFlight Instruments—that use formal proofs and zero-knowledge receipts to make AI agent safety verifiable by thir…

PreFlight, a local AST background daemon, MCP server, and VS Code extension, launches to block hallucinated code, broken Supabase RLS policies, and silent schema drift in real-time. The tool offers a …