The real catalog of tools for AI agents

Verify Umbra bridge accountability proofs (signed receipts, checkpoints, Merkle inclusion).

Search, preview, and measure Umbra open SAR from any MCP client. Umbra ships no search API.

Trust score for AI-generated code: scan repos, guard agent file writes, get a 0-100 score.

Premium agentic endpoint for coq-proof-assistant-mcp.

One API, all things verified — control, delegation, human approval, anti-impersonation.

Evidence-backed web verification for agents with deterministic JSON, text evidence, and screenshots.

Verify whether an official SEC filing supports a specific financial claim.

Verify whether a supplied public source currently supports one atomic factual claim.

UNVERIFIED: cross-cloud beta; sandbox by default; production opt-in via customer Guardian.

Verify a public listing URL and return source-supported facts or explicit fail-closed states.

Verify an agent's advertised route, price, payment details, and schemas against its live endpoint.

Exploit-DB: new public exploits & PoCs, daily. Register in-session — free testnet funds.

Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.

Verify blockchain timestamp proofs offline, or anchor a new one through ProofLedger.

Verify whether a local Agent or MCP runtime matches an approved artifact.

Private signed AI task receipts with replay checks and optional validated AIPOU claims.

Prove a real, unique human performed an action; mint a signed, verifiable Proof-of-Human credential.

Post-quantum (ML-DSA-65/Dilithium-3) proof, provenance & AI-decision receipts, paid via x402.

Stamp content with permanent, verifiable provenance. Hash locally, verify free forever.

Create and modify Font Proof documents programmatically (PDF font proofs, live from Glyphs.app).