AI RESEARCH
Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach
arXiv CS.AI
•
ArXi:2603.24747v1 Announce Type: new The emergence of large language model agents capable of invoking external tools has created urgent need for formal verification of agent protocols. Two paradigms dominate this space: Schema-Guided Dialogue (SGD), a research framework for zero-shot API generalization, and the Model Context Protocol (MCP), an industry standard for agent-tool integration. While both enable dynamic service discovery through schema descriptions, their formal relationship remains unexplored.