Le catalogue réel des outils pour IA

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

Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks.

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

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