Submitted by Ethan Ning 8 Rules to Tools: Executable Checks for LLM Agents in Scientific Computing Carnegie Mellon University 2