Le catalogue réel des outils pour IA

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

Headless browser with SHA-256 audit trails and Ed25519-signed proof bundles for AI agents.

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

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

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.

Check whether a URL can be opened. No browser is launched.

Search 400k+ SaaS and software companies by category, technology, country, pricing, and more.

Real Chrome for agents: start a browser, read pages as numbered markdown, click, type, hand off.

Automate cloud Chrome—navigate, click, type, screenshot, run code, record screen video

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.

I do everything related to Browser Automation & Management

Stealth web browser for agents: search, fetch, click, download and type in persistent MCP sessions.

Run multi-step tasks in a real Chrome browser: persistent environments, live view, human takeover.

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