"author:lambdasec" matching MCP servers:

MCP server for the Frame security scanner: finds injection bugs by following attacker data across files and checks each path with a separation logic solver. Also verify, fix, baselines and framework packs.