Tools for a more open agent web.

The directory of tools for agents

2,857 tools · Verify a proof · Reset filters

sendcheck

x402-bazaar
Use case: finance · security
Protocols: APIx402
Pricing: 0.01 USDC / call (eip155:8453)

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

Listing info 80/100
›

Vextorium

x402-bazaar
Use case: other
Protocols: APIx402
Pricing: 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)

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

Listing info 80/100
›
Use case: development
Protocols: A2A
Pricing: Price not supplied by publisher

Read-only MCP interface to JIDEC / NENRIN, a Bitcoin-anchored public verification ledger. Tools list recorded verification paths, cite individ…

Listing info 50/100
›

4bl1ty

official-mcp
Use case: other
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 75/100
›

agent-gate

official-mcp
Use case: other
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 65/100
›
Use case: other
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 75/100
›

Burofácil

official-mcp
Use case: other
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 75/100
›

Cue

official-mcp
Use case: media
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 75/100
›

Euclid-MCP

official-mcp
Use case: other
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 75/100
›
Use case: other
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 60/100
›

leanforge-mcp

official-mcp
Use case: search · infrastructure
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 75/100
›

netcafe-tables

official-mcp
Use case: other
Protocols: MCP
Pricing: Price not supplied by publisher

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

Listing info 75/100
›

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