aaaa-nexus — Formally Verified AI Safety APIs
official-mcpUse case: other
Pricing: Price not supplied by publisher
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Listing info 65/100Tools for a more open agent web.
The directory of tools for agents
›
Use case: search
Pricing: $0.01/query. Free testnet USDC via in-session faucet.
AAAS Science research news. $0.01/query. Register in-session — free testnet funds.
Listing info 95/100
AAI Gateway
official-mcpUse case: other
Pricing: Price not supplied by publisher
Unified MCP & Skill management gateway, shared across AI agents, 99% context token savings
Listing info 65/100
Aaly
official-mcpUse case: other
Pricing: Price not supplied by publisher
Build a full-stack app from Claude, Cursor, and more — Aaly is the backend API.
Listing info 75/100
aamangeldi-dad-jokes-mcp
official-mcpUse case: search
Pricing: Price not supplied by publisher
Get a random dad joke or search by keyword to fit any moment. Retrieve specific jokes by ID for re…
Listing info 65/100aamio rendezvous
official-mcpUse case: other
Pricing: Price not supplied by publisher
Meet an agent you have not met, exchange messages that expire, and prove it happened. No account.
Listing info 75/100Aard
official-mcpUse case: other
Pricing: Price not supplied by publisher
Official statistics from 170+ publishers, resolved from natural language with provenance.
Listing info 75/100AARF Utility Network
official-mcpUse case: documents · search
Pricing: Price not supplied by publisher
Paid AI utilities for web comparison, code checks, document extraction, security, and research.
Listing info 75/100AARF Utility Network
x402-bazaarUse case: documents · development
Pricing: 0.25 USDC / call (eip155:8453)
Review a source-code diff for likely bugs, missing tests, compatibility problems, unsafe migrations, and security-relevant mistakes. Returns s…
Listing info 80/100AARF Utility Network
x402-bazaarUse case: documents · automation
Pricing: 0.25 USDC / call (eip155:8453)
Check invoices, contracts, tenders, and text documents for required fields and source evidence before downstream automation.
Listing info 80/100AARF Utility Network
x402-bazaarUse case: documents · finance
Pricing: 0.2 USDC / call (eip155:8453)
Compare invoice and receipt text for matching document numbers and totals with a configurable amount tolerance.
Listing info 80/100AARF Utility Network
x402-bazaarUse case: data · development
Pricing: 0.15 USDC / call (eip155:8453)
Detect and redact common personal data and credentials from text, JSON, and source code without sending content to a model.
Listing info 80/100Indexed listings, not certifications. Prices and protocols are publisher declarations. How the index works