io.github.YounesBensafia/overleaf-mcp-server
MCP server for managing Overleaf projects through Git synchronization.
Servidor MCP · de YounesBensafia
Resumo
io.github.YounesBensafia/overleaf-mcp-server é um servidor MCP publicado por YounesBensafia. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). A última mudança que registramos foi em 2026-10-23. Conforme nossa passagem pelos marketplaces em 2026-10-27.
O que pede
- Roda na sua máquina
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Pacote
PyPI overleaf-mcp-integration (overleaf-mcp-integration no PyPI)
- Downloads do PyPI por semana: 86 (2026-10-23)
- Downloads do PyPI por mês: 0 (2026-10-23)
- Última versão no PyPI: 0.1.0, publicada em 2026-10-10
Nenhuma vulnerabilidade conhecida no OSV para 0.1.0 (verificado em 2026-10-14)
Os dados do PyPI vêm do pypi.org e os downloads do PyPI do pypistats.org. Cada número é do próprio registro e nunca é somado a outro. Um registro que não publica um número não mostra nenhum: sem número não é zero. Os registros de vulnerabilidades vêm do OSV.dev (CC BY 4.0) e dizem respeito apenas à versão declarada; uma listagem sem versão declarada não recebe resposta. Não analisamos código.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP local: pacote PyPI
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio overleaf-mcp-server -- uvx overleaf-mcp-integration
[mcp_servers.overleaf-mcp-server]
command = "uvx"
args = ["overleaf-mcp-integration"]
{
"mcpServers": {
"overleaf-mcp-server": {
"command": "uvx",
"args": [
"overleaf-mcp-integration"
]
}
}
}
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.1.0 | Downloads por mês (PyPI): 0 Downloads por semana (PyPI): 86 Forks (GitHub): 8 Estrelas (GitHub): 64 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Como os números mudaram
- 2026-10-238
- 2026-10-278
- 2026-10-1263
- 2026-10-1664
- 2026-10-2764
Cada ponto é um dia em que lemos um número diferente; os trechos planos são dias em que o número não mudou. Números de marketplaces diferentes nunca são somados.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Read, edit, compile, and review Overleaf projects through your own signed-in web session.
-
Overleaf projects from an MCP client: files, compile and PDF, diff, comments and tracked changes
-
git-mcp-server io.github.cyanheads/git-mcp-server
Comprehensive Git MCP server enabling native git tools including clone, commit, worktree, & more.
-
fluxgit-mcp-server io.github.fluxgit-hq/fluxgit-mcp-server
Safety-first Git MCP server: rich read tools plus human-approved FluxGit operation proposals.
-
gitlab-mcp io.github.mmedum/gitlab-mcp
GitLab over MCP from your own account: issues, merge requests, reviews, the repository and CI.
-
Model Context Protocol server for Gitea (and Forgejo, Codeberg).
-
milatexai io.github.yasaminfayyaz/milatexai
Edit your Overleaf LaTeX projects from Claude and ChatGPT; every change is a real Git commit.
-
gitlab com.mcparmory/gitlab
Manage projects, groups, branches, merge requests, and CI/CD pipelines
-
Read, edit, search and compile the LaTeX, Typst or Markdown project open in Oleafly.
-
Repository-native protocol and local MCP server for Work, Docs, History and durable project Memory.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
Self-hosted GitHub MCP server. PAT auth, stdio transport, transport-agnostic so it works with…
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
shortcut-mcp io.github.stayce/shortcut-mcp
Shortcut project management. Create, update, search stories and manage workflows.
-
Zero-config MCP server for searchable documentation. SQLite or PostgreSQL.
-
Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain language, choose TypeScript or Python, and get…
Listado em Claude Code: claude-plugins-official (5)
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Official GitHub MCP server for repository management. Create issues, manage pull requests, review code, search repositories, and interact with GitHub's full API directly from…
-
Skills for creating MCP Apps with the MCP Apps SDK
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
Listado em Claude: knowledge-work-plugins (5)
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
-
MCP server for terminal commands, file operations, and process management
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Sanity content platform integration with MCP server, agent skills, and slash commands. Query and author content, build and optimize GROQ queries, design schemas, and set up Visual…
Listado em Codex: openai-curated (openai/plugins) (5)
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
Qodo setup, code intelligence, and review workflows.
-
Inspect recent issues and events in Sentry from Codex.
-
AI-powered code review in Codex, powered by CodeRabbit.
Listado em Community GitHub marketplaces (5)
-
Pull Overleaf review comments into your .tex repo and apply the edits.
-
octen-mcp io.github.Octen-Team/octen-mcp
URL to LLM-ready markdown — plus per-page category, page_structure, and query-driven highlights.
-
oss-autopilot io.github.costajohnt/oss-autopilot
Open source contribution manager with PR tracking, issue discovery, and CI diagnosis
-
Read, edit, compile, and commit LaTeX in any git-hosted project, plus the bundled skills for project cleanup, citation audits, bibliography normalization and peer review, and the…
-
GEML — a plain-text document format built to be edited in place, one section at a time
One section in, one section out — on Markdown/GEML files, bad writes refused.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Review GitHub pull requests in a read-only canvas with AI-grouped changes, expandable diffs, and questions scoped to groups, files, or hunks.
Listado em Copilot CLI: github/copilot-plugins (5)
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
Listado em Cursor: cursor/plugins (5)
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
Manage repos, issues, pull requests, and Actions.
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
-
Render PR diffs as review canvases grouped by importance.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
Listado em Docker MCP Catalog (5)
-
MCP Server for the GitLab API, enabling project management, file operations, and more.
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
-
buildkite-mcp-server io.github.buildkite/buildkite-mcp-server
MCP server exposing Buildkite API data (pipelines, builds, jobs, tests) to AI tooling and editors.
-
Pull up-to-date, version-specific documentation and code examples for any library or framework straight into your prompt.
Listado em Official MCP Registry (5)
-
Read, edit, compile, and review Overleaf projects through your own signed-in web session.
-
Overleaf projects from an MCP client: files, compile and PDF, diff, comments and tracked changes
-
git-mcp-server io.github.cyanheads/git-mcp-server
Comprehensive Git MCP server enabling native git tools including clone, commit, worktree, & more.
-
fluxgit-mcp-server io.github.fluxgit-hq/fluxgit-mcp-server
Safety-first Git MCP server: rich read tools plus human-approved FluxGit operation proposals.
-
gitlab-mcp io.github.mmedum/gitlab-mcp
GitLab over MCP from your own account: issues, merge requests, reviews, the repository and CI.
Listado em PyPI (MCP servers) (5)
-
Model Context Protocol server for Gitea (and Forgejo, Codeberg).
-
gitlab com.mcparmory/gitlab
Manage projects, groups, branches, merge requests, and CI/CD pipelines
-
mcp-gitlab io.github.vish288/mcp-gitlab
GitLab MCP server (MCP 2026-07-28): projects, MRs, pipelines, CI/CD, issues; writes or read-only
-
github com.mcparmory/github
Manage repositories, users, releases, and automate GitHub workflows
-
box com.mcparmory/box
Manage files, folders, and team collaboration with access controls
Listado em npm registry (MCP servers) (5)
-
Read, edit, compile, and review Overleaf projects through your own signed-in web session.
-
git-mcp-server io.github.cyanheads/git-mcp-server
Comprehensive Git MCP server enabling native git tools including clone, commit, worktree, & more.
-
Repository-native protocol and local MCP server for Work, Docs, History and durable project Memory.
-
Share a dev server or upload a built site at a public https link, and hand the link back.
-
kaneo io.github.usekaneo/kaneo
Official MCP server for Kaneo: manage tasks, projects, and labels from Claude and other MCP clients
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.