OpenClaw · Skill
Arxiv Agentic Verifier
Source Paper: Scaling Agentic Verifier for Competitive Coding (ID: 4a4c4dae6a5145ebc4d62eb2d64b0f0f) Type: Code Verification / Test Generation
Install
Start with the primary install command. Alternate entrypoints are included below for ClawHub and OpenClaw CLI users.
Primary command
clawhub install wanng-ide/arxiv-agentic-verifierClawHub installer
npx clawhub@latest install wanng-ide/arxiv-agentic-verifierOpenClaw CLI
openclaw skills install wanng-ide/arxiv-agentic-verifierDirect OpenClaw install
openclaw install wanng-ide/arxiv-agentic-verifierWhat this skill does
Source Paper: Scaling Agentic Verifier for Competitive Coding (ID: 4a4c4dae6a5145ebc4d62eb2d64b0f0f) Type: Code Verification / Test Generation
Why it matters
Generates discriminative test cases from problem analysis rather than random inputs, catching logic flaws that fuzzing and random sampling routinely miss.
Typical use cases
- 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
Source instructions
ArXiv Agentic Verifier
Source Paper: Scaling Agentic Verifier for Competitive Coding (ID: 4a4c4dae6a5145ebc4d62eb2d64b0f0f) Type: Code Verification / Test Generation
Description
This skill implements an "Agentic Verifier" that actively reasons about code correctness by generating targeted, "discriminative" test cases. Instead of random sampling, it analyzes the problem constraints and code logic to find edge cases or logic flaws.
Features
- Analyze Code: Understands Python/JS code logic.
- Generate Tests: Creates specific inputs to break the code.
- Execute & Verify: Runs the code against generated tests (sandbox recommended for production).
Usage
const AgenticVerifier = require('./index');
const verifier = new AgenticVerifier(process.env.OPENAI_API_KEY);
const problem = "Given two integers A and B, output their sum.";
const code = "print(int(input().split()[0]) + int(input().split()[1]))";
verifier.verify(problem, code, 'python')
.then(result => console.log(result))
.catch(err => console.error(err));
Configuration
- OPENAI_API_KEY: Required for LLM reasoning.
Security Warning
This skill executes code provided to it. Use in a restricted environment or sandbox.