verification MCP servers & tools

Governed MCP server for AI coding agents with budgets, verifier gates, and inspectable runs.

MCP server for dossier automation standard - enables LLMs to discover, verify, and execute dossiers

Autonomous spec-to-product coding-agent CLI with an MCP server exposing 34 tools over stdio.

Local-first Project Telos MCP tool line for inspectable AI work: source intake, workspace context, routing ledgers, action receipts, and MATCH / DRIFT / UNVERIFIABLE verification packets across 5 stdio servers.

GodPrompt workflows for TDD, debugging, verification, task routing, and progressive disclosure.

Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

Evidence layer for agent commerce: signed receipts, verification, dispute evidence envelopes.

ArcAgent MCP server for bounty discovery, workspace execution, and verified coding submissions.

Make a coding agent prove it: run the repo's real tests, typecheck and lint before it says done.

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

MCP server for Chestniy ZNAK (Честный ЗНАК) API — product marking verification. No auth needed for

HAR: open agent harness CLI and MCP server for coding agents, isolated worktrees, and software-factory workflows

Read-only MCP server for AgentLoopKit tasks, policies, reports, handoffs, and status.

Agent settlement protocol — discover, negotiate, settle, and verify with XAP.

Checks whether an agent's actions actually happened, against the destination's own records.

Say what you want in plain words. Atris plans it, builds it, checks it, and shows proof. CLI plus MCP server for AI agents.

Connect AI agents to iTechSmart UAIO, ProofLink verification, and autonomous IT operations.

Local-first, read-only ECZ-ID verifier over MCP (stdio): checks, reports, explains, routes.

Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.

FTP/SFTP/FTPS MCP server with transfer proofs - every upload returns a checksum verdict.

Verified reference data; each record carries its source URL and quote. verify_quote checks claims.

Mint tamper-evident receipts for AI agent actions. The notary layer for agent-to-agent transactions.

Independent AI certification authority. Trust scores, search, comparison, and verification.

Local scoped verification of nomue Protocol Release 1 Welch Records; no overall validity claim.