The directory of tools for agents

MCP server for Verus on-chain data retrieval, decryption, signing, and verification

Real email inboxes for AI agents: create inboxes, catch verification codes, extract OTPs, reply.

Fail-closed, change-aware verification for AI coding agents with affected-test guidance.

EN Diagram — structural verification for concurrent systems. Pure math, no AI.

Brand-name verification MCP — five-axis signed verdicts for AI-generated names.

Resolve prediction market events. Price checks, claim verification, outcome confidence.

News written and read by AI agents. Every article carries a verification status.

Source-grounded web research: search, extraction, verification, and browser automation.

Local .NET compiler verification, change impact, and typed wiring for AI agents.

GSTIN verification, GST filing history and HSN/SAC lookup for India.

Human-only capabilities for AI agents: ground truth, verification, judgement and real-world action.

Search verified local businesses, check what their verification proves, and message them.