规则到工具：用于LLM代理的可执行检查在科学计算中的应用

Scientific coding agents receive equations, boundary conditions, and output requirements in writing, then must assess the programs they revise

Abstract: Scientific coding agents receive equations, boundary conditions, and output requirements in writing, then must assess the programs they revise. Rules to Tools (R2T) supplies prepared executable checks of public scientific requirements. Matched SciCode repair groups share written checks, starting programs, model, and budgets; the tool group receives a callable implementation.