doi: 10.5281/zenodo.19351653
This repository contains the implementation and experiment harness for MCP-BiFlow, a static analysis workflow for detecting unsafe data flows across trust boundaries in MCP servers.