Does this work for MCP?

Not yet. Today Halley only records OpenTelemetry spans and replays it, so it is not tied to MCP specifically. If an MCP server emits in data that Halley is designed to capture, it would work, but I have not tested it yet. Native MCP support is something I would like to add if more people want it.