Is un-seen/overleaf-mcp down?

github/un-seen/overleaf-mcp

Also listed as mcp-registry/com.hedwigai/hedwigai · primary listing: mcp-registry/com.hedwigai/hedwigai

unknown
Last checked —

As of —, un-seen/overleaf-mcp is unknown.

uptime (30d checks)
—
checks observed
—
outages (90d)
—
tools
3

Overleaf MCP for Claude Code, Codex and Cursor: check every reference in your .bib (Crossref, doi.org, retractions) and compile your Overleaf paper with real TeX. Hosted, nothing to install.

No advertised endpoint or package; see https://github.com/un-seen/overleaf-mcp for how to run it.

Tools (3)

Compare: most reliable knowledge servers · most reliable code servers

Know before your agent calls it

Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.

Add Glimind — free, no signup:

Add to Cursor Add to VS Code

Claude Code

claude mcp add --transport http glimind https://glimind.com/mcp

Claude Desktop · Windsurf · Cline (mcpServers JSON)

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is un-seen/overleaf-mcp down right now?

As of —, un-seen/overleaf-mcp is unknown.

How many tools does un-seen/overleaf-mcp provide?

un-seen/overleaf-mcp advertises 3 tools, including check_citations, check_references, compile_document.

How do I install un-seen/overleaf-mcp?

No advertised endpoint or package; see https://github.com/un-seen/overleaf-mcp for how to run it.

Operator of un-seen/overleaf-mcp?

Status page: 90-day uptime, every outage and how long it lasted.

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.

Feedback
Help us improve