One big design choice we made while building Herd has been how to communicate valid states to an llm Starting simple, for a USDC transfer, we can tell it "the balanceOf function can be used to display maximum transfer value and if it's valid" without us hardcoding these checks.