verify

# Solution Verifier Verify competitive programming and LeetCode solutions for correctness through static analysis, automated test case generation, and execution. **CRITICAL: Complete ALL 4 phases. Do not stop after static analysis.** ## Phase 1: Parse Input **Goal:** Extract the problem statement and solution code. Parse `$ARGUMENTS` to extract: 1. **Problem statement** — the full problem description with constraints, I/O format, and examples 2. **Solution code** — the user's Python solution (inline code, file path, or pasted) If both are in `$ARGUMENTS`, separate them. The problem statement typically comes first, followed by the solution code in a code block or after a separator. If the solution is a file path, read it: ``` Read [file_path] ``` If the problem statement is missing, ask for it: ``` AskUserQuestion: question: "Please provide the problem statement for verification. I need it to generate test cases and validate correctness." options: - label: "Paste problem text" description: "Paste the full problem statement with constraints and examples" - label: "Describe the problem" description: "Describe what the problem asks — I'll generate test cases from that" ``` If the solution code is missing, ask for it: ``` AskUserQuestion: question: "Please provide your solution code to verify." options: - label: "Paste code" description: "Paste your Python solution code" - label: "Provide file path" description: "Give the pa...