ワンクリックで
VeriContest
VeriContest には HIPREL-Group から収集した 2 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 skill 詳細ページを表示します。
このリポジトリの skills
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.