[xpe]

> MCP seems like we have given up on making the models good or smart.

First, whatever you mean by "we", we can do more than one thing at a time. Second, there are advantages to designing a protocol with formal semantics.