CARE Proposes Pre-Execution Verification for Shell-Executing LLM Agents · Polylog