analyze_code咨询性代码深度分析对现有代码的咨询性深度分析——评分和发现,故意不给出通过/失败裁决,因此不会阻塞代理。通过具体的延迟/吞吐量计算,揭示性能热点、可扩展性瓶颈、可靠性差距和技术债务。只读:分析代码,从不执行。
MCP SERVER
https://mcp.verificate.ai/mcpSUMMARY
Verificate MCP 对 AI 生成的代码、计划和文档进行确定性现实检查(否决模拟内容、虚构 API 和作弊行为)并辅以前沿模型审查,返回二元批准/拒绝裁决。它还提供咨询性代码分析和门控代码生成。验证工具为只读,但代码生成在 Verificate 的基础设施上运行;无需注册即可试用。
USE CASES
CAPABILITIES
已根据可验证证据建立能力档案
TOOLS IN THIS MCP SERVER
analyze_code咨询性代码深度分析对现有代码的咨询性深度分析——评分和发现,故意不给出通过/失败裁决,因此不会阻塞代理。通过具体的延迟/吞吐量计算,揭示性能热点、可扩展性瓶颈、可靠性差距和技术债务。只读:分析代码,从不执行。
generate_code生成门控代码一步生成代码并进行门控:LLM 编写实现,然后使用与 validate_ai_output 相同的保护引擎进行审查——当门控拒绝时重试生成。如果所有尝试都被否决,您仍会收到最后一次尝试,并明确标记 validated:false 及门控发现。生成在我们的基础设施上运行;您的环境中不执行任何操作。
validate_ai_output对 AI 编写的输出(代码或文档)进行把关针对任何 AI 编写输出的合并门控——代码、文档、报告、电子邮件、配置:返回具有否决权的二元批准/拒绝裁决。确定性现实门控首先运行且不可覆盖;随后前沿模型审查对质量、准确性、可靠性和技术债务进行评分。只读:不执行任何操作。
validate_artifact根据 Verificate 生产规范对可部署工件进行把关针对 AI 构建系统的确定性生产就绪门控。验证关键组件存在且可加载、导入闭包解析、运行时依赖已声明、健康检查真实且故障关闭。返回批准/拒绝及修复计划和 ISO 27001 / ISO 5055 控制证据。
validate_plan对实施计划进行把关针对计划、设计和规格的门控——在任何代码编写之前运行。返回与 validate_ai_output 相同的二元裁决结构,包含完整性、可行性、性能和可扩展性影响、安全风险和缺失考虑因素的发现。只读:除裁决外不执行或存储任何内容。
MACHINE-READABLE ENDPOINTS
ACCESS
USAGE OBSERVATIONS