Do the coding agents know about this tool?