"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
Matching Connector Tools:
The Brain Layer for AI Trading Agents — quant calls + cross-venue arb across 5 exchanges via MCP.
Repos indexed with Moxie Docs can use our MCP to let agents fetch codebase conventions, find affected docs from changes, pull outdated docs to update, and identify orphaned docs to keep up to date. Let your agents keep your documentation accurate and updated at all times.
Brazilian Federal Senate open data over MCP — 65 tools, 4 prompts, 5 resources.
Read-only MCP server for the OrchestKit docs: full-text search + Markdown fetch. No auth.
1000+ pay-per-call web tools for agents: search, browser, PDF, memory. x402 USDC or proof-of-work.
Solana token safety for AI agents — rug-pull, honeypot & Token-2022 trap detection before you buy.
Search 59,000+ MCP servers ranked by adoption to find the right one for any task.
Generate PDF/DOCX/XLSX/PPTX from templates+JSON. Convert Office/HTML/MD to PDF. Universal templating
Lets AI agents get leads on the phone: call, send SMS, and schedule callbacks for sales teams.
Deterministic Music Theory for Claude, Cursor, and Autonomous AI Agents Large Language Models (LLMs) frequently hallucinate music theory, leading to incorrect notes, false Roman numerals, and broken voice leading. THIRI solves this by providing a deterministic, mathematical music-theory engine (pitch-class-set theory over ℤ/12) directly to your AI. It gives AI assistants precise, reproducible harmonic reasoning in milliseconds, allowing them to write correct musical scores, analyze progression
Reference data for prediction markets: graded resolution clarity, cross-venue links, provenance.
Private MCP people matching for AI agents; no public listings, contact revealed only on a real fit.
MCP server for generating rough-draft project plans from natural-language prompts.
Shared long-term memory vault for AI agents with 20 MCP tools.
People matching through your AI — private, agent-to-agent; details shared only on a match.
This tool empowers MCP-compatible clients (like Cursor and Claude Desktop) with professional-grade capabilities for financial data extraction, and report analysis.
On-chain Solana token safety — screen for rugs/honeypots and execute MEV-protected swaps.
Agentic CRM for service businesses — bookings, customers, WhatsApp, loyalty, invoicing.
Teaches AI to write HTML email that renders in Outlook, Gmail, and Apple Mail. 19 rules, 6 comps.