#latex

Stat Theory Skills

A 4-skill pipeline for Claude Code: verify mathematical proofs → repair with literature support → sharpen the theory → write corrected proof...

Polish Skill

A modular academic-writing skill suite for novelty-risk audits, problem-driven literature reviews, manuscript argument reconstruction, TeX-s...

Scholar Forge

Academic writing Agent Skill — citation integrity, venue intelligence, bilingual CN/EN (GB/T 7714)

Overleaf MCP Server

MCP server for Overleaf projects. Syncs LaTeX files via Git, parses sections, equations, and citations, and exposes them to AI clients for a...

Overleaf MCP

MCP server giving AI agents (Claude Code, Copilot, Antigravity) bi-directional sync with Overleaf - free tier included. 24 tools: LaTeX chec...

OverleafMCP

Model Context Protocol (MCP) server that lets AI assistants read Overleaf projects, parse LaTeX document structure, and push sectio...

MCP Ads Arxiv

MCP server for Claude: Read scientific papers from LaTeX source, not PDFs. NASA ADS search + arXiv + local library. Built for astrophysics r...

Arxiv Latex MCP

MCP server that uses arxiv-to-prompt to fetch and process arXiv LaTeX sources for precise interpretation of mathematical expressions in scie...