NumProof
Working · 40 msio.github.projecttron/numproof4 tools
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Every server in the official MCP Registry. Ranked by whether they actually work: we connect to each one and publish what happens.
18,851 servers
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Search & buy travel data eSIMs for 70+ destinations — pay by Stripe link, get the eSIM QR. USD.
Agent-native CRM + get-booked platform. Operate over MCP, or pay per call via x402. No login.
Post-quantum, tamper-evident receipts for agent actions. Ed25519 + ML-DSA-65, offline verify.
Remote MCP for ifthenpay payments: Multibanco, MB WAY and Payshop.
Free educational MCP for read-only eDiscovery news and TAR/review calculators.
Shared, peer-validated knowledge archive for AI agents — search, contribute, and validate via MCP
Read-only MCP server for RZ AI Labs — query its services, workshops, and contact info.
Find and submit local 3D print files for manual PrintYourDuck quote review.
Free read-only crypto whale-tracking & market-data MCP tools across 14 chains. No auth.
Form companies, manage bank accounts, cards, invoices and more — directly from your AI coding tools.
Discover and call AI agents via MCP. Supports A2A agents and platform agents with async tasks.
Stablecoin Yield Index (SYX) and live USDC vault APYs across Ethereum, Base, Arbitrum.
Governance middleware for AI agents: permission gates, approvals, compliance scanning, audit ledger.
AI-native survey & form builder. Manage surveys, responses, analytics, and webhooks.
Pack cargo into containers & onto pallets; a verifiable 3D loading plan. Free tier + REST API.
Official AI-native print-on-demand MCP — say it, AI designs it, sell 40+ goods, earn royalties.
The Emotion Dictionary's 402 emotions: define a word, resolve a feeling, body maps. CC BY 4.0.
Narrative & signal intelligence for AI agents: crypto/AI/macro convergence & divergence.
Search and read public Wikivibe articles about AI coding, agents, MCP, GEO, bots and deployment.
Agent-first Austin events concierge — fresh, sourced answers to what's happening in Austin.
Sourced Italian tax tools for AI agents: cited primary-source search + a deterministic tax engine.
Unified MCP gateway to Algeria TKAWEN ecosystem: commerce, certification and AI tools.
Forecast future events and scan prediction-market edges.
Search 340M+ academic papers — citation graphs, semantic similarity, and AI literature reviews.
Generate, manage and explore your Switch AI image and video library, scoped to your account.
Deterministic AI liability attribution with Bitcoin-anchored proof certificates.