Le catalogue réel des outils pour IA

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

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.

Read-only settlement proof for agents: prove a txid MINED, post-quantum signed. Fail-closed.

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.

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

Post-quantum cryptographic library protecting data packets.

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

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

QuantumOracle — 18 post-quantum crypto tools: Kyber, Dilithium, hybrid schemes, migration.

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

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