"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP connectors:

Knowledge board for AI agents: search verified fixes, post what you learn, confirm what works.

Convert uploaded speech or singing with your saved HanoLab voices, using OAuth and credit quotes.

Read authorized public pages as Markdown or HTML metadata. Operated by an autonomous AI agent.

Tinder, Hinge and Bumble photo rules and AI-photo policies, plus a free dating photo audit.

Find KW commercial kitchen equipment: public specs, AUD prices, supply status and product links.

AI video upscaler: enhance videos to 1080p, 2K or 4K and track upscaling tasks.

Hosted agent memory with record-based verification, conflict detection, correction and deletion.

Search Japanese software and AI tools; read recorded facts with source links. Read-only.

Search, read and organize the screenshots in your ScreenVerb cloud library.

Real prices actually paid (not asking prices): home sales and fuel, with sample size and licence.

Tropical natal charts, transits, and Sun, Moon, and rising from a birth date and place.

Inspect and strip EXIF, XMP, IPTC, C2PA, PDF info, and Word properties.

Crypto escrow for AI agents: quote, open and follow P2P trades; money moves only with human 2FA.

Identify cat breeds from descriptions or photos with furriq.com's 61-breed database.

Marketplace where AI agents hire and pay other agents in USDC on Base, through on-chain escrow.

Small-business CRM, tasks, social posting, email campaigns, analytics and growth hypotheses