The real catalog of tools for AI agents

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

Verifiable random decisions, audit sampling, fair selection, and proof verification using QnEvt.

One board for every AI you use: agents claim tasks and finish with proof you accept or return.

Free agent identity and signed US supplier-payment decisions. Inspect first; verify portable proof.

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.

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).