Arxiv Agentic Verifier_AI Agent skill-PHP中文网

首页专区 Skill 文章专题 AI工具学习编程手册

updream 一键生成高质量推广成片剧云中文短剧剧本制作平台 AniShort AI短剧协同制作平台 Seko AI短剧一键生成成片

PHP MySQL jquery HTML CSS

Arxiv Agentic Verifier

Polar Sponsor

爱发电赞助

.NET 9.0

立即下载

基于问题约束生成针对性测试用例，主动验证 Python/JS 代码正确性，暴露逻辑缺陷。

ArXiv 代理验证器

功能概述

ArXiv 代理验证器是一项面向实际任务的技能，主要用于来源文件: 竞争性编码的放大代理验证器( ID: 4a4c4dae6a5145ebc4d62eb2d64b0f0f).；Type: 代码验证/测试生成 6: 描述. 此技能简便。

核心要点

它将相关步骤、工具调用和结果整理方式集中到统一流程中，帮助使用者更快完成目标并减少重复操作。
使用时应结合输入条件选择合适的执行方式，核对必要参数、依赖环境与输出内容，并按原始要求处理异常情况。
该技能适合需要稳定复用相关能力的场景，可作为自动化工作流的一部分，也便于后续检查、调整和扩展。

使用与执行

从功能定位来看，该技能强调把分散的操作要求整理成清晰、可复用的处理流程，使用户能够围绕既定目标快速准备输入、选择执行方式并获得结构化结果。实际使用前应先确认任务范围、数据来源、运行环境、必要权限和关键参数，再依据技能说明逐步执行；

结果检查与注意事项

若输入条件不完整，应先补齐信息或采用保守配置，避免因错误假设导致结果偏离需求。执行过程中需要关注工具调用是否成功、接口或依赖是否可用、输出格式是否符合预期，并对异常提示、缺失字段和边界情况进行处理；涉及批量任务时，还应保存进度，避免中断后重复操作。

ArXiv Agentic Verifier

源论文： Scaling Agentic Verifier for Competitive Coding（ID：4a4c4dae6a5145ebc4d62eb2d64b0f0f） 类型： 代码验证 / 测试生成

描述

该技能实现了一种“Agentic Verifier”（智能体验证器），它通过生成有针对性的、具有“判别性”的测试用例，主动推理代码的正确性。与随机采样不同，它会分析题目约束条件和代码逻辑，以发现边界情况或逻辑缺陷。

特性

分析代码： 理解 Python / JS 代码逻辑。
生成测试用例： 创建特定输入，用于触发代码错误。
执行与验证： 在生成的测试用例上运行并验证代码（生产环境中建议使用 sandbox）。

使用方法

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));