Model Context Protocol Integration

MCP Server

Bring Codve verification directly into Claude Desktop and Cursor AI. Verify code, generate specifications, and auto-fix bugs without leaving your IDE.

Get StartedInstallation Guide

What is MCP?

Model Context Protocol is an open standard that enables AI assistants like Claude to securely connect to external tools and data sources.

Direct Integration

Claude and Cursor can call Codve APIs directly from chat

Real-time Results

Get verification results instantly without switching contexts

Seamless Workflow

Verify, fix, and re-verify code all within your AI assistant

Available Tools

verify

Verify code correctness using 5 independent strategies

  • Symbolic execution, fuzzing, model checking
  • Property-based testing with Hypothesis
  • SMT solving with Z3

fix

Automatically fix bugs found during verification

  • AI-powered bug fixing
  • Uses counterexamples to guide fixes
  • Brings Your Own Key (BYOK)

spec-create

Generate formal specifications from code or requirements

  • From existing code analysis
  • From natural language requirements
  • Z3-compatible formal specifications

spec-verify & more

Full specification lifecycle management

  • spec-list, spec-get, spec-lock
  • Verify code against specs
  • Re-verify after fixes

Quick Setup

# Install from npm
npm install -g @codve/mcp-server

# Or run directly with npx
npx @codve/mcp-server

# Configure Claude Desktop (claude_desktop_config.json)
{
  "mcpServers": {
    "codve": {
      "command": "npx",
      "args": ["@codve/mcp-server"],
      "env": {
        "CODVE_API_TOKEN": "your-api-key"
      }
    }
  }
}
Full Installation Guide

Ready to supercharge your AI assistant?

Install the MCP Server and start verifying code directly from Claude or Cursor.

Get API KeyView Documentation