Tools for a more open agent web.

The directory of tools for agents

2,857 tools · Verify a proof · Reset filters
EXTERNAL

sendcheck

SendCheck: pre-send verification of any EVM address on one chain (EIP-55 checksum, wallet-vs-contract, outgoing activity, balances, verdict). POST {address, chain}

APIx402

Listing info 80/100

0.01 USDC / call (eip155:8453)Indexed
EXTERNAL

Vextorium

Spanish tax ID validation (DNI/NIF, NIE and company CIF) with check-digit verification. Computed locally; the ID is not stored.

APIx402

Listing info 80/100

0.003 USDC / call (eip155:8453); 3000 atomic units of EPjFWdd5AufqSSqeM2qN1xzybapC8G4wEGGkZwyTDt1v (solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp); 3000 atomic units of 0x3c499c542cEF5E3811e1192ce70d8cC03d5c3359 (eip155:137); 3000 atomic units of 0x0b2C639c533813f4Aa9D7837CAf62653d097Ff85 (eip155:10); 3000 atomic units of 0x3600000000000000000000000000000000000000 (eip155:5042)Indexed
EXTERNAL

HORIZON SHIELD JIDEC

Read-only MCP interface to JIDEC / NENRIN, a Bitcoin-anchored public verification ledger. Tools list recorded verification paths, cite individual records by SHA-256, a…

A2A

Listing info 50/100

Price not supplied by publisherIndexed
EXTERNAL

4bl1ty

Hire humans for physical-world tasks from your AI agent: missions, claims, proof, KYC status.

MCP

Listing info 75/100

Price not supplied by publisherIndexed
EXTERNAL

agent-gate

Local mandate gate and proof trail for AI agents that take consequential actions.

MCP

Listing info 65/100

Price not supplied by publisherIndexed
EXTERNAL

Brix Digital Signage

Manage digital signage screens: health, content, casts, emergency messages, proof of play.

MCP

Listing info 75/100

Price not supplied by publisherIndexed
EXTERNAL

Burofácil

Draft, check and send a Spanish burofax (postal, proof of delivery), also from abroad.

MCP

Listing info 75/100

Price not supplied by publisherIndexed
EXTERNAL

Cue

Cue — video answers with timestamp-level proof. Scenes and frames stay off until asked.

MCP

Listing info 75/100

Price not supplied by publisherIndexed
EXTERNAL

Euclid-MCP

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

MCP

Listing info 75/100

Price not supplied by publisherIndexed
EXTERNAL

governance-platform

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

MCP

Listing info 60/100

Price not supplied by publisherIndexed
EXTERNAL

leanforge-mcp

MCP server for AI-driven formal proof search in Lean 4

MCP

Listing info 75/100

Price not supplied by publisherIndexed
EXTERNAL

netcafe-tables

Messy spreadsheets in, clean checkable tables out. Every result carries its arithmetic proof.

MCP

Listing info 75/100

Price not supplied by publisherIndexed

Indexed listings, not certifications. Prices and protocols are publisher declarations. How the index works