A
licenseA
qualityB
maintenanceAn MCP server that enables MCP clients to directly access and process arXiv papers by fetching the LaTeX source, improving mathematical content understanding.
4
142
MIT
73,129 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
Matching MCP tools:
Matching MCP Connectors:
app.ofia
io.github.max124vip-dev
io.github.eltociear
actor.apify.godberry--content-to-social-mcp
"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:
- Alicense-qualityDmaintenanceEnables Claude and other MCP clients to access and process arXiv papers by fetching their LaTeX source code, providing accurate interpretation of mathematical equations and notations that PDF processing often struggles with.MIT
- Alicense-qualityCmaintenanceProvides five rigorous reasoning protocols (debate, red team, audit_argument, threat_model, check_study) that run on the AI you're already using, requiring no extra API keys or costs.MIT
- Flicense-qualityDmaintenanceProvides tools for AI-powered graph analysis, including relationship extraction, adjacency matrix creation, and network centrality calculations. It enables users to perform complex structural analysis and generate interactive D3.js visualizations from structured data.
- AlicenseAqualityDmaintenanceProvides actionable financial intelligence tools for AI agents including insider buying signals, earnings IV plays, market pulse, stock analysis, and options strategies via free public data sources.6MIT
- FlicenseAqualityDmaintenanceHigh-value scientific tools for AI agents — literature search (PubMed, arXiv, Semantic Scholar), chemical compound lookup (PubChem, ChEMBL), patent prior art search (USPTO, EPO), GPU spot prices across 4 providers, and real-time earth science data (USGS, NASA, OpenAQ). Per-call billing via API key. Keys issued instantly at https://mcp-site.com/keys/request6
- AlicenseAquality-maintenanceAn MCP server that enables users to read, search, and analyze PDF documents. It provides tools for extracting text, viewing metadata, searching content with context, and generating word statistics.5
- AlicenseBqualityDmaintenanceEnables querying real-time adoption metrics, trends, and comparisons for popular AI coding tools like OpenAI SDK, Anthropic SDK, Cursor, GitHub Copilot, and LangChain through natural language.41MIT
- AlicenseBqualityDmaintenanceAn MCP server that provides comprehensive financial insights and analysis by leveraging real-time market data, news, and advanced analytics for stocks, options, financial statements, and economic indicators.1750PythonMIT
- Alicense-qualityDmaintenanceConverts PDF files to text for use with MCP-compatible applications like Cursor IDE.MIT
- Alicense-qualityCmaintenanceAn MCP server for managing pandoc/CSL-YAML bibliographies and verifying citations in documents.17GPL 3.0
- Alicense-qualityBmaintenanceProvides honest A/B test verdicts using interactive cards, with statistical calculations for conversion rates, sample sizes, and Bayesian probability-to-beat.MIT
- Alicense-qualityCmaintenanceA Windows-optimized server providing universal data analytics for JSON and CSV files through over 32 tools including schema discovery and interactive visualizations. It is specifically designed for seamless integration with Claude Desktop on Windows.1MIT
- Alicense-qualityAmaintenanceCSV Tools AI - MCP server providing AI-powered tools and automation by MEOK AI Labs9MIT
- Alicense-qualityDmaintenanceMCP server for Jupyter notebook navigation and editing. Reads .ipynb files directly as JSON, providing efficient tools for reading, searching, and modifying cells without needing a Jupyter server.MIT
- Alicense-qualityDmaintenanceProvides Latin NLP tools for tokenization, lemmatization, POS tagging, reported speech detection, and LiLa Knowledge Base querying via MCP.MIT
- Alicense-qualityDmaintenanceA comprehensive MCP server that exposes multiple OSINT tools to AI assistants like Claude, enabling sophisticated reconnaissance and information gathering tasks using industry-standard OSINT tools.230MIT
- Alicense-qualityCmaintenanceEnables searching for upcoming academic conferences and events from WikiCFP by keywords, returning detailed information including dates, locations, submission deadlines, and related resources.6GPL 3.0
- Alicense-qualityDmaintenanceLocal-first MCP server that gives Claude Code web search, page reading, video transcription, and image analysis — without paid API keys. Runs SearXNG + whisper.cpp natively on Apple Silicon for zero-cost, low-latency research workflows.MIT
- Alicense-qualityDmaintenanceIntegrates Gemini API research capabilities (Deep Research, Quick Search, URL Analysis) into a unified MCP server, enabling comprehensive research, web search, and URL analysis through natural language.MIT