- Conduid
- Marketplace
- #code-verification
MCP servers tagged code-verification
11 live MCP servers tagged "code-verification", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with code-verification.
Mini Ork
Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with generated invariants in a Docker sandbox,…
CodeScope
CodeScope does not understand code. It verifies it. A high-performance code graph engine with MCP protocol for AI agents (Claude/Cursor) to ask "Does the code actually do what you…
CodeScope
CodeScope does not understand code. It verifies it. A high-performance code graph engine with MCP protocol for AI agents (Claude/Cursor) to ask "Does the code actually do what you…
ContextGraph
🔮 The Oracle — a deterministic reality predictor that judges any AI-generated Python code change Pass/Fail against a real test oracle. An open climb toward domain super-intelligen…
Sruja
A CLI-first autonomous coding agent where the actor never grades itself. Every edit is grounded in your repo's real topology and verified by an independent deterministic grader (d…
DevCouncil
Code intelligence and deterministic verification for AI coding agents: symbol-level code graph, blast radius, dead-code analysis, and MCP servers for Claude Code, Cursor, and Code…
Auditra
Zero-Trust Verification Fabric for AI-Generated Software.
Codevetter
Verify AI-generated code with execution evidence — deterministic, local-first verification for coding-agent changes via a macOS app, CLI, and MCP server.
Code Oracle
Sub-50ms Neuro-Symbolic Verification Oracle for AI Coding Agents
Elenchus MCP
Elenchus MCP Server - Adversarial verification system for code review
Contextgraph
🔮 The Oracle — a deterministic reality predictor that judges any AI-generated Python code change Pass/Fail against a real test oracle. An open climb toward domain super-intelligen…