"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

An autonomous MCP agent that helps you apply to fully funded MS and PhD programs by discovering professors, verifying faculty status, matching projects, and drafting cold emails.

Enables academic research through paper search across multiple databases (IACR, CryptoBib, Crossref, Google Scholar), PDF processing, and GitHub repository browsing. Features modular architecture with FastMCP-based proxy server routing to specialized academic tools.

Converts PDF files to text for use with MCP-compatible applications like Cursor IDE.

Read-only MCP server for the July 2026 survey of AI in open-source design systems, enabling agents to query 19 systems' affordances, coercion techniques, and platform data via 9 tools, 2 resources, and 2 prompts.

Real human judgment as agent tools -- an AI agent can ask a question and get back a structured, schema-validated JSON answer from a real quality-scored human. 16 response types (yes/no, ratings, rankings, A/B tests, sentiment, image/video/audio review, voice/video/photo capture). Fully programmatic signup with a $5 free trial credit, no card required.

A 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.

Enables searching for upcoming academic conferences and events from WikiCFP by keywords, returning detailed information including dates, locations, submission deadlines, and related resources.

Enables searching, ingesting, and querying academic papers using natural language, with integration to arXiv and Semantic Scholar.

Enables exploring and analyzing US Data Analyst job postings, offering job search, salary benchmarking, and skill-demand insights through MCP tools, resources, and a career gap review prompt.

Free competitive pricing intelligence for SMB CPG brands. Check where any product price sits in its Amazon category, track pricing trends, and compare products — no NielsenIQ or SPINS subscription needed.

This project implements a Model Context Protocol (MCP) server providing Formula One racing data using the Python FastF1 library. Inspired by an existing TypeScript server, it offers similar F1 data functionalities natively in Python via FastF1.

A tool that helps users conduct comprehensive research on complex topics by exploring questions in depth, finding relevant sources, and generating structured, well-cited research reports.

Enables comprehensive academic research by searching and analyzing papers from PubMed, Google Scholar, ArXiv, and JSTOR. Provides full-text access, citation management, and research organization through five powerful consolidated tools.

Converts Digital Object Identifiers (DOIs) to BibTeX format using the official DOI content negotiation API, enabling users to quickly generate bibliography entries for academic papers.

A production-ready MCP server that gives Claude access to the entire DataForSEO API v3 through 51 tools, covering SERP, Labs, Keywords, Backlinks, OnPage, Business, and more, with cost controls and response normalization.

Enables searching and retrieving UK research grants, award values, institutions, and publications from the UKRI Gateway to Research API without authentication.

Enables interaction with LimeSurvey API to create and manage surveys, questions, question groups, activate surveys, and export responses through standardized MCP endpoints.

Institutional-grade quantitative stock analysis and research signals for AI agents via the Model Context Protocol (MCP).

Enables MCP clients to search for published academic articles and retrieve detailed metadata, abstracts, citation counts, and related information from the Elsevier Scopus API. Supports citation verification and writing-style analysis grounded in peer-reviewed sources.

Enables offline local LLM analysis of text data via MCP, taking raw text and an instruction to return analysis results without cloud calls.