Official MCP server for the Mux video API, built on a code-execution scheme: the agent writes TypeScript against the SDK and runs it in a Deno sandbox.
paper-preflightMCP Server
Summary
MCP server that verifies every LaTeX reference against Crossref, dblp, arXiv and more, with no LLM guessing in the verdicts.
Features
- Verifies references against Crossref, dblp, arXiv, DataCite, PubMed and OpenAlex
- Flags retracted papers, wrong DOIs, wrong years and duplicate entries
- Builds BibTeX from registry records instead of model memory
- Proposes .bib fixes as a diff without writing files
- Read-only tools confined to the workspace root
Installation
Set up this MCP server in your favorite AI agent — copy a ready-made configuration below.
Description
paper-preflight is a pre-submission integrity gate for LaTeX papers, exposed to coding agents over MCP. It reads your .tex and .bib files and checks each cited work against real scholarly records from Crossref, dblp, arXiv, DataCite, PubMed and OpenAlex (plus Semantic Scholar with a key, and GitHub, PyPI, Hugging Face and others for software and datasets).
It answers four questions per reference: does the work exist, does it match what you wrote, has it been retracted, and has the cited preprint since been published. When it cannot tell, it says so rather than guessing, which keeps false accusations out of the verdicts.
The read-only tools are preflight_check, preflight_bib_lookup (BibTeX built from the registry record), preflight_bib_fix (proposes a unified diff without writing), preflight_cited_passages and preflight_explain. Paths outside the workspace root are refused. Python 3.11-3.14, MIT licensed, runs without installation via uvx; a Claude Code plugin bundles the server with a skill.
Related MCP Servers
Red Hat's zero-dependency C++23 code-context engine — ranked call graphs and blast-radius analysis, indexing a repo in under half a second with no server and no database.
Builds a searchable markdown graph of your repo so coding agents stop re-exploring it on every task — reported 42% fewer tokens and 46% fewer tool calls.
Expo's official remote MCP server — searches Expo docs, installs compatible SDK packages, triggers and monitors EAS builds, and drives iOS/Android simulators.