11 posts
A Codex skill for designing, rendering, and visually reviewing Beamer slides.
One-stop agent skill set for mathematical modeling contests: problem analysis, model building, algorithm implementation, publication-grade f...
把一篇论文做成诚实、量化、带原文关键图的 LaTeX 中文解读 PDF — Claude Code skill + 固化模板 + 4 篇跨领域完整例子
A 4-skill pipeline for Claude Code: verify mathematical proofs → repair with literature support → sharpen the theory → write corrected proof...
A modular academic-writing skill suite for novelty-risk audits, problem-driven literature reviews, manuscript argument reconstruction, TeX-s...
Academic writing Agent Skill — citation integrity, venue intelligence, bilingual CN/EN (GB/T 7714)
MCP server for Overleaf projects. Syncs LaTeX files via Git, parses sections, equations, and citations, and exposes them to AI clients for a...
MCP server giving AI agents (Claude Code, Copilot, Antigravity) bi-directional sync with Overleaf - free tier included. 24 tools: LaTeX chec...
Model Context Protocol (MCP) server that lets AI assistants read Overleaf projects, parse LaTeX document structure, and push sectio...
MCP server for Claude: Read scientific papers from LaTeX source, not PDFs. NASA ADS search + arXiv + local library. Built for astrophysics r...
MCP server that uses arxiv-to-prompt to fetch and process arXiv LaTeX sources for precise interpretation of mathematical expressions in scie...
