19 tagged verification, measured the same way as everything else here.
Corvidae-Coding-Projects/Thermite
MCP server Claude CodeCodexCursor +2
MCP server "crosslink-agent-prompt" as configured in Corvidae-Coding-Projects/Thermite. Runs locally from the .claude/mcp/agent-prompt-server.py Python package.
Corvidae-Coding-Projects/Thermite
MCP server Claude CodeCodexCursor +2
MCP server "crosslink-knowledge" as configured in Corvidae-Coding-Projects/Thermite. Runs locally from the .claude/mcp/knowledge-server.py Python package.
Corvidae-Coding-Projects/Thermite
MCP server Claude CodeCodexCursor +2
MCP server "crosslink-safe-fetch" as configured in Corvidae-Coding-Projects/Thermite. Runs locally from the .claude/mcp/safe-fetch-server.py Python package.
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.
MCP server Claude CodeCodexCursor +2
Shows you which words in an answer your sources don't support, and what each one lost to. Runs locally from the groundlens Python package.
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.
MCP server Claude CodeCodexCursor
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.
MCP server Claude CodeCodexCursor
Contribute, challenge, verify, and query contestable public records on Veritas Acta. Runs locally from the acta-mcp npm package.
MCP server Claude CodeCodexCursor
MCP server "mcp", hosted remotely at mcp.tetapi.dev, as configured in teta-pi/mcp.
MCP server Claude CodeCodexCursor
MCP server "certified-mcp" as configured in nickharris808/certified-mcp. Runs locally from the certified-mcp Python package.
MCP server Claude CodeCodexCursor
MCP server "minicheck-mcp" as configured in nickharris808/minicheck-mcp. Runs locally from the minicheck-mcp Python package.
Dailyaiagents/daily-ai-agent-toolkit
MCP server Claude CodeCodexCursor
Local MCP tools for checking artifacts, claims, and citations. Runs locally from the dailyaiagents-evidence-gate Python package.
Dailyaiagents/daily-ai-agent-toolkit
MCP server Claude CodeCodexCursor
Local MCP tools for completion contracts and release receipts. Runs locally from the dailyaiagents-release-gate Python package.
MCP server Claude CodeCodexCursor
Verify before your agent acts on data it paid for. Signed verdicts, checkable offline, via x402. Remote server at scrapecheck-mcp.fly.dev.
MCP server Claude CodeCodexCursor
MCP server "ground-truth", hosted remotely at ground-truth-mcp.anishdasmail.workers.dev, as configured in anish632/ground-truth-mcp.
MCP server Claude CodeCodexCursor
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.
MCP server Claude CodeCodexCursor +2
MCP server "doneproof-mcp" as configured in efficjump/doneproof-mcp. Runs locally from the doneproof-mcp Python package.
MCP server Claude CodeCodexCursor +2
MCP server "artifactdiff" as configured in wfengq/artifactdiff. Runs locally from the artifactdiff Python package.
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.