Le catalogue réel des outils pour IA

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

Model proof-of-work policy and latency for AI agents. $1 USDC rehearsal; no runtime protection.

Runtime governance, proof, outcome closure, and fleet intelligence for MCP-compatible AI agents.

Linux microVM sandboxes for AI agents: run commands, files, processes, pause and wake.

Governed MCP: agent audit, provenance, deterministic checks, and receipt-backed FragGate execution.

Hosted Python sandbox for package runtime verification: pip install and usable-import evidence.

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.

AI-engineering archive: search, what is new, forecasts, topic briefs, URL context; moderated inbox.

Verify a persona's DID-signed identity and query value-based judgment — advisory only, no actions.

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.

Advisory context, intent, budget and API-ledger checks with free examples and x402 payments.

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.

Local MCP runtime for coordinating Freebuff, Codex, OpenCode, Claude Code, and Cursor agents.

MCP server for IBM Quantum computing services through Qiskit IBM Runtime