The real catalog of tools for AI agents

Verify or mint zero-knowledge track-record credentials (VTR-1) without revealing the strategy.

Shariah screening of US stocks under four standards, halal alternatives, purification and zakat.

Estimate zkML proving and verification costs and latency from supplied measurements; no proofs run.

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

Score, seal and prove AI decisions in Bitcoin, plus 680 compliance checks, free to verify.

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

Check an x402 endpoint before your agent pays it: avoid / caution / ok, proven on-chain.

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

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

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

Verify whether an official SEC filing supports a specific financial claim.

performance-review MCP — wraps StupidAPIs (keyless — no credential needed)

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

Verify whether a supplied public source currently supports one atomic factual claim.

Acting direction for AI video and voice: state-based behaviour kits and a free prompt linter.

Agent cost, latency and quality analysis, report delivery and order status. Crypto payments paused.

Verify a place in the Netherlands: a verified local hand checks it, you get a sealed receipt.

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.

Track client quote and proof revisions, approvals, and work status.