Setup & Installation
Or with the ClawHub CLI, for registry-managed skill folders outside a full OpenClaw workspace:
What This Skill Does
An agentic verifier that checks code correctness by generating targeted test cases designed to expose logic flaws. It analyzes problem constraints and code structure to produce discriminative inputs rather than sampling randomly. Supports Python and JavaScript.
Generates discriminative test cases from problem analysis rather than random inputs, catching logic flaws that fuzzing and random sampling routinely miss.
When to use it
- Verifying competitive programming submissions before upload
- Finding edge cases in coding interview solutions
- Catching off-by-one errors in algorithmic implementations
- Checking boundary behavior in math or sorting functions
- Automated validation of student code against problem specs
Example Workflow
Here's how your AI assistant might use this skill in practice.
User asks: verify this Python solution for a two-integer sum problem
- 1Parse the problem description to extract constraints and expected behavior
- 2Analyze the submitted code's logic and input-handling structure
- 3Generate targeted test cases aimed at boundary conditions and likely failure modes
- 4Execute the code against each generated test in a sandboxed environment
- 5Collect and report pass/fail results with the specific inputs that caused failures
Verification report listing which tests passed, which failed, and the exact inputs that broke the code
Requirements
Accounts, API keys, or tools you or your AI assistant may need to set up while using this skill.