verification

11 servers · 164★ total

Give any AI agent a disposable email inbox in one tool call. MCP server for email verification, auth flows, and testing.

From any API surface to verified AI agent tools: Go CLI + MCP + skills + SQLite + policy + proofs.

Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.

The open-source autonomy kernel MELRA — Modular Execution Layer for Reliable Autonomy. An agent-independent effect runtime for governed, durable, and verifiable autonomous execution. MELRA begins where the tool call leaves the model loop.

Agent-native inboxes for AI agents. REST API + built-in MCP server, custom domains, OTPs, and verification emails — powered by Cloudflare.

The verification layer for autonomous agents — an independent, capital-aware verdict before an irreversible action (/review), a cryptographically signed proof after, and a public on-chain track record, losses included. Free EdgeProof backtest validation. Underneath: memory, sandboxed execution, marketplace. Pay in sats, USDC (x402), or card.

Runtime artifact existence & freshness verification for AI agent completion claims — a lightweight, zero-LLM MCP gate that source-binds 'done' claims to real files. MIT.

Conservative Dual-Verify — judging AI agent work with a deterministic floor + LLM critic (stricter score wins) and Bayesian stopping. Research preview, frozen at v1.0.1; active development continues privately. MIT.

PolicyNIM is a policy-aware engineering preflight layer for AI coding agents.

Python and MCP tools for testing falsifiable claims and recording MATCH, DRIFT, or UNVERIFIABLE outcomes against supplied evidence.

Machine-readable merchant verification infrastructure for AI shopping agents and agentic commerce systems.