The real catalog of tools for AI agents

Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.

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.

Approved claims, offers, proof, voice, and banned phrases for brand assistants.

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.

Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.

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.

Revision-bound quality planning, execution, evidence, proof, and Playwright authoring.

Personal assistant MCP server with search, execute, packages, jobs, secrets, and integrations.

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

Persistent shopping memory for AI assistants. The AI reasons; Kaufliste stores and executes.

Dispatch human-execution tasks with proof verification, local checks, and compliance reviews.

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