Codve MCP Server

AI-Powered Code Verification for Your IDE

Website • Documentation • Get API Key

What is Codve?

Codve verifies code correctness through independent reasoning — not by re-running tests or re-executing code. It analyzes logic using 8 verification strategies to catch edge cases, boundary issues, and hidden bugs that traditional testing misses.

Perfect for AI-generated code where you need confidence the logic is sound.

Quick Start

1. Get your API Key

Sign up at codve.ai and create an API key in your dashboard.

2. Add to your IDE

Add to ~/.cursor/mcp.json:

```json { "mcpServers": { "codve": { "command": "npx", "args": ["-y", "@codve/mcp-server"], "env": { "CODVE_API_TOKEN": "vk_live_your_api_key_here" } } } } ```

Add to Cline MCP settings:

```json { "mcpServers": { "codve": { "command": "npx", "args": ["-y", "@codve/mcp-server"], "env": { "CODVE_API_TOKEN": "vk_live_your_api_key_here" } } } } ```

Add to ~/Library/Application Support/Claude/claude_desktop_config.json (macOS):

```json { "mcpServers": { "codve": { "command": "npx", "args": ["-y", "@codve/mcp-server"], "env": { "CODVE_API_TOKEN": "vk_live_your_api_key_here" } } } } ```

Add to your Windsurf MCP configuration:

```json { "mcpServers": { "codve": { "command": "npx", "args": ["-y", "@codve/mcp-server"], "env": { "CODVE_API_TOKEN": "vk_live_your_api_key_here" } } } } ```

3. Start verifying

Ask your AI assistant:

"Use codve to verify this function: function divide(a, b) { return a / b; }"

Tools

| Tool | Description | |------|-------------| | codve.verify | Verify code correctness using 5 independent strategies | | codve.fix_with_ai | AI-powered code fixing with BYOK (your own API key) | | codve.reverify | Re-verify code after applying fixes | | codve.health | Check API connectivity |

Example: Verify → Fix → Reverify

Step 1: Verify ``` Use codve.verify on: function divide(a, b) { return a / b; } ```

Response: ```json { "status": "fail", "confidence": 45, "finding": "Division by zero not handled when b=0" } ```

Step 2: Fix with AI ``` Use codve.fix_with_ai to fix the division by zero issue ```

Response: ```json { "status": "success", "patch": "--- a/code\n+++ b/code\n...", "notes": "Added zero check. Confidence: 45% → 92%" } ```

Step 3: Reverify ``` Use codve.reverify on the patched code ```

Response: ```json { "status": "pass", "confidence": 92, "finding": "Zero division handled correctly" } ```

Verification Strategies

Codve uses 5 independent verification strategies:

| Strategy | What it checks | |----------|----------------| | Symbolic | Code paths, branches, potential runtime errors | | Property-Based | Mathematical properties (commutativity, identity) | | Invariant | Associativity, idempotence, monotonicity | | Constraint | Edge cases, boundary conditions, type consistency | | Metamorphic | Input transformations, output relationships |

BYOK AI Fix

The codve.fix_with_ai tool uses Bring Your Own Key — your AI API key is:

• Passed directly to the AI provider
• Never stored on Codve servers
• Encrypted in transit (HTTPS)

Supported providers:

• OpenAI (GPT-4, GPT-4o, GPT-3.5)
• Anthropic (Claude 3.5, Claude 3)
• Custom (any OpenAI-compatible API)

Environment Variables

| Variable | Required | Default | Description | |----------|----------|---------|-------------| | CODVE_API_TOKEN | Yes | — | Your Codve API key | | CODVE_API_BASE_URL | No | https://codve.ai | API base URL | | CODVE_TIMEOUT_MS | No | 8000 | Request timeout (ms) | | DEBUG | No | 0 | Set 1 for debug logs |

Troubleshooting

| Error | Solution | |-------|----------| | Request timed out | Increase CODVE_TIMEOUT_MS or use smaller code | | API error 401 | Check your CODVE_API_TOKEN | | API error 402 | Subscription expired — check billing | | No response | Ensure stdio transport; check stderr with DEBUG=1 |

Pricing

| Plan | Price | Features | |------|-------|----------| | Developer | $19/mo | API access, MCP Server, BYOK AI fix | | Pro | $39/user/mo | + IDE/CI integration, audit logs | | Enterprise | $179/mo | + Compliance reports, SLA support |

View pricing →

Links

• Website
• Documentation
• Blog
• Get API Key
• GitHub Issues

Built by Codve — Verify logic, not just execution.