Mayur Agnihotri

Declared vs. Observed: Measuring the Binding Gap in MCP Tool Declarations

Pre-execution authority controls for tool-using agents take a declaration as their input: a claim, written by the tool's publisher, about what the action does. The claim is treated as a property of the tool. It is a statement about a contract at a moment, and the contract moves....