Skip to main content
Glama
10,127 servers. Last updated

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

Matching Connector Tools:

  • Air Pipe

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

    1
  • Reqbeat Hiring Signals

    Find companies hiring for a role and geo, qualify them, and watch them for changes.

    1
  • Trading Strategy Data

    Live crypto trend signals, ranking, and backtesting for BTC/ETH/SOL/XRP/ADA. x402 pay-per-call.

    1
  • TrustFetch

    Prompt-injection scanning and safe webpage fetching for AI agents reading untrusted content.

    1
  • MTContext

    Connect any MCP client to MetaTrader 4/5 to read prices, manage positions, and place trades.

    1