Code by Verify#
Code is one of the features offered by Verify, providing specialized tools to identify bugs in AI-generated code and verify the security of frameworks and libraries.
With Code verification, you can ship AI-generated code confidently, knowing potential issues are caught before they reach production.
The service works seamlessly with AI coding assistants in your IDE, analyzing code changes in real-time as they're generated.
How Code works#
The service evaluates AI-generated code by:
- Analyzing the code changes in diff format.
- Understanding the user's original request.
- Detecting various types of issues (bugs, security vulnerabilities, performance problems).
- Providing detailed explanations and actionable fixes.
The service evaluates code to identify issues, with the following fields:
isCodeCorrect
: Indicates whether the code has issues.issues
: Array of detected problems with type, severity, and priority.explanation
: Summary of all issues found.agent_todo_list
: Prioritized list of fixes to apply.
Configuration options#
Code verification offers flexible configuration to match your development workflow:
- Severity settings: Configure minimum severity level for reporting (Low to Critical).
- Bug check types: Select which issue types to check: Semantic, Security, Quality, Intent, Knowledge, Logical, Performance.
- Enabled tools: Choose which MCP tools are active (bug check tool, packages check tool).
These settings can be configured directly in your IDE integration.
When to use Code#
The Code service is ideal for scenarios where you need:
- AI code validation: Verify AI-generated code before production use.
- Security scanning: Detect potential vulnerabilities in generated code.
- Quality assurance: Ensure code follows best practices.
- Dependency checking: Validate that new packages are secure and up-to-date.
How to integrate Code#
Code is currently available through MCP (Model Context Protocol) integrations:
-
Guide Tools
Use Code verification tools directly in your IDE through MCP integration.
-
Guide Integrations
Integrate Code verification with any MCP-compatible IDE, including Cursor and Claude code.
Additional resources#
- Get started: Get Code verification running in minutes.