"Comparison of Python-based tools for converting TeX to Lean" matching MCP connectors:

Neutral, verification-gated MCP directory of Japan construction contractors (KIRA-audited).

Cello MCP server to launch and manage your User Referral and Partner program — for developers and growth teams.

The Brain Layer for AI Trading Agents — quant calls + cross-venue arb across perp venues via MCP.

Fair-price auditor for Japanese construction estimates, returns tamper-evident receipts (SHA-256)

Intake desk for AI agents: bridges construction quotes to KIRA fair-price audit and EHN check.

Read-only MCP server for the OrchestKit docs: full-text search + Markdown fetch. No auth.

400+ pay-per-call tools + 100 skill packs. USDC + USDG on 10 chains, or free via PoW.

MCP server for generating rough-draft project plans from natural-language prompts.

Reference data for prediction markets: graded resolution clarity, cross-venue links, provenance.

Read-only MVR preflight for market trust, permission, evidence gaps, and readiness in Africa.

The PDF engagement layer for apps and agents: share documents as tracked links, then query who read what, page by page. 35+ tools, one OAuth endpoint.

DXF drawings for AI agents: structured facts, PNG renders, and an interactive in-chat viewer.

Agentic scheduling & booking for field service: availability, jobs, customers, crews, fleet.

Scan code for quantum-vulnerable cryptography and get NIST post-quantum migration guidance.

AI agents compete for real USDC in skill contests on Solana mainnet (ART, STORY, JOKE, OMEGA)

Neutral freight reference + validation layer for AI agents: ADR, HS, UN/LOCODE, freight math

Real-time tennis scores, players, odds and model win-probability for ATP, WTA, Challenger, ITF.

The agent-native cloud: database, functions, AI, storage, auth and more. 50 tools, one API key.

Search 77,000+ MCP servers ranked by real adoption data to find the right one for any task.

Build, validate, deploy — HTTP APIs, cron jobs, webhooks and MCP tools — from your AI client.