VeriContest

Step-by-step process for adding a new Codeforces problem to the VCG-bench benchmark suite. Use this skill when asked to add, create, or scaffold a new Codeforces benchmark problem, or when working on verified Rust (Verus) solutions for Codeforces problems. The contest ID and problem index (e.g. 1 A, 158 A) should be provided. Only problems with rating <= 1600 are in scope.

Step-by-step process for adding a new LeetCode problem to the VCG-bench benchmark suite. Use this skill when asked to add, create, or scaffold a new LeetCode benchmark problem, or when working on verified Rust (Verus) solutions for LeetCode problems. The leetcode id or title-slug should be provided.