The real catalog of tools for AI agents

Validate JSON-LD structured data against the Schema.org vocabulary. Free; never fetches URLs.

Verify timestamp proofs offline, anchor hashes through ProofLedger, keep agent run receipts.

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

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

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

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

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

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

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

Proof primitive for AI agents on MultiversX. Anchor file hashes on-chain as verifiable proofs.

Add a text box that proves a human typed it, not AI. Code for any framework; verify proof tokens.

Score, seal and prove AI decisions in Bitcoin, plus 680 compliance checks, free to verify.

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

Track client quote and proof revisions, approvals, and work status.

SSRF-safe URL proof receipts, clean markdown, and SHA-256 change watch for agents.

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

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

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

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

Signed, hash-chained provenance receipts for AI agent actions.