Make ToolExecutionError inherit std::exception and implement its