agree with this framing. mcp feels great while tools are deterministic, but messy stateful tools break the abstraction quick. i think next layer is tool contracts with explicit preconditions plus rollback hooks.