verification MCP servers

crosslink-agent-prompt

01

MCP server Claude CodeCodexCursor +2

One of 3 in .mcp.json

MCP server "crosslink-agent-prompt" as configured in Corvidae-Coding-Projects/Thermite. Runs locally from the .claude/mcp/agent-prompt-server.py Python package.

not rated 54 2mo ago A tokens not measured original MIT

neus-mcp

02

neus/network

MCP server Claude CodeCodexCursor +2

The trust harness for AI agents. Set what an agent can do before it acts. Remote server at mcp.neus.network.

not rated 23 1mo ago A tokens not measured original Apache-2.0

hashloom

03

davet47/hashloom

MCP server Claude CodeCodexCursor +2

Content-addressed contracts with a hash-keyed verification cache for spec-driven agent loops, over MCP. Runs locally from the hashloom Python package.

not rated 2 1mo ago A tokens not measured original Apache-2.0

concordance

04

matharrismma/concordance-2

MCP server Claude CodeCodexCursor +2

Deterministic claim verification with receipts across 60 domains. No model in the loop. Remote server at narrowhighway.com.

not rated 1 today A tokens not measured AGPL-3.0

mcp

05

Postcept/mcp

MCP server Claude CodeCodexCursor +2

Verify agent actions against the system of record and get signed completion receipts. Runs locally from the @postcept/mcp npm package. Needs 1 environment variable to run.

not rated 1 2mo ago A tokens not measured original MIT

acta-mcp

06

VeritasActa/acta-mcp

MCP server Claude CodeCodexCursor +2

Contribute, challenge, verify, and query contestable public records on Veritas Acta. Runs locally from the acta-mcp npm package.

not rated 1 6mo ago A tokens not measured original MIT

mcp

07

teta-pi/mcp

MCP server Claude CodeCodexCursor +2

MCP server "mcp", hosted remotely at mcp.tetapi.dev, as configured in teta-pi/mcp.

not rated 1 yesterday A tokens not measured

certified-mcp

08

nickharris808/certified-mcp

MCP server Claude CodeCodexCursor +2

MCP server "certified-mcp" as configured in nickharris808/certified-mcp. Runs locally from the certified-mcp Python package.

not rated 0 2mo ago A tokens not measured original Apache-2.0

minicheck-mcp

09

nickharris808/minicheck-mcp

MCP server Claude CodeCodexCursor +2

MCP server "minicheck-mcp" as configured in nickharris808/minicheck-mcp. Runs locally from the minicheck-mcp Python package.

not rated 0 1mo ago A tokens not measured original MIT

evidence-gate

10

Dailyaiagents/daily-ai-agent-toolkit

MCP server Claude CodeCodexCursor +2

One of 2 in server.json

Local MCP tools for checking artifacts, claims, and citations. Runs locally from the dailyaiagents-evidence-gate Python package.

not rated 0 yesterday A tokens not measured original Apache-2.0

scrapecheck

11

FieldmodeLLC/scrapecheck-mcp

MCP server Claude CodeCodexCursor +2

Verify before your agent acts on data it paid for. Signed verdicts, checkable offline, via x402. Remote server at scrapecheck-mcp.fly.dev.

not rated 0 16d ago A tokens not measured original MIT

ground-truth

12

anish632/ground-truth-mcp

MCP server Claude CodeCodexCursor +2

MCP server "ground-truth", hosted remotely at ground-truth-mcp.anishdasmail.workers.dev, as configured in anish632/ground-truth-mcp.

not rated 0 3mo ago A tokens not measured original MIT

doneproof-mcp

13

efficjump/doneproof-mcp

MCP server Claude CodeCodexCursor +2

MCP server "doneproof-mcp" as configured in efficjump/doneproof-mcp. Runs locally from the doneproof-mcp Python package.

not rated 0 2mo ago A tokens not measured original MIT

artifactdiff

14

wfengq/artifactdiff

MCP server Claude CodeCodexCursor +2

MCP server "artifactdiff" as configured in wfengq/artifactdiff. Runs locally from the artifactdiff Python package.

not rated 0 10d ago A tokens not measured copy · 75% MIT

formal-proof-mcp

15

nickharris808/formal-proof-mcp

MCP server Claude CodeCodexCursor +2

MCP server "formal-proof-mcp" as configured in nickharris808/formal-proof-mcp. Runs locally from the formal-proof-mcp Python package.

not rated 0 12d ago A tokens not measured original Apache-2.0

mcp-server

16

Verigent-AI/mcp-server

MCP server Claude CodeCodexCursor +2

MCP server for Verigent — AI agent verification & counterparty due diligence. Check who you're transacting with, carry your own VG credential, flag bad actors. Runs locally from the verigent-mcp-server npm package.

not rated 0 17d ago A Socket: warn tokens not measured original Apache-2.0