- Conduid
- Marketplace
- #ai-verification
MCP servers tagged ai-verification
6 live MCP servers tagged "ai-verification", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with ai-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,…
Canary Lab
Your AI agent implements the code. Canary Lab proves it works.
Tribunal
Governed verification and synthesis for Massive Intelligence (IM) outputs: configurable Thinker, Worker, and Verifier panels, model-as-judge, and Ed25519-signed, SHA-256-chained t…
Agentic System Oss
Open Source 24/7 Autonomous Agentic AI System
Xerify
Verify before you trust. Cross-provider verification with LLMs and Jev. CLI, library & MCP.
Rooben
Spec-driven multi-agent orchestration with verification and budget enforcement. Your taste is the product.