devinside.Marcin Borecki Ideas. Systems. Evidence.

THE AUTHOR

Marcin Borecki

Developer, entrepreneur and business angel. Writing about AI, software, data and the evidence behind technical decisions.

About the author →

THE READING ROOM

Writing & investigations.

Engineering

Tool Calls You Can Audit: Deterministic Controls Around Agents

An agent can explain why it wants to perform an action without establishing that it may perform it. It can produce a well-formed tool call without establishing that the arguments are safe. It can report success without proving that the external effect occurred exactly once.

18 min read