> 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

> 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.