MCP server for Typst on Typleaf Pro — full CRUD, compile, PDF download, git history, diff, PDF-layout perception, and Hayagriva/BibTeX citation verification. A fork of overleaf-mcp-plus retargeted at self-hosted Typleaf.
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"typleaf-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# 🌿 Typleaf MCP Server A [Model Context Protocol (MCP)](https://modelcontextprotocol.io) server for **[Typst](https://typst.app)** projects on **[Typleaf Pro](https://github.com/superzeldalink/typleaf-pro)** — a self-hostable Overleaf fork with Typst support. **28 tools** covering full CRUD, document structure analysis, git history & diff, compilation, PDF download, PDF-layout perception, and citation verification. Typleaf compiles both Typst and LaTeX, so this server handles **both**. The right parser is chosen from the file extension — you never have to say which. ``` You: "What kind of project is 6a6dfc57bbb3aac01ed9a71d?" AI: [project_info] Typst, root main.typ, 36 .typ files, bibliography refs.yml You: "Read sections/03-method.typ" AI: [read_file] Here's the content: … You: "Tighten the Background section" AI: [update_section] ✓ Edited and pushed You: "Compile it and tell me how many pages" AI: [get_page_count] 61 pages (format=typst, source=pdf) You: "Which page does each heading start on?" AI: [section_page_map] p.1 = Introduction … p.8 == Parameters … ``` > This is a fork of [`overleaf-mcp-plus`](https://pypi.org/project/overleaf-mcp-plus/) by [rangehow](https://github.com/rangehow/overleaf-mcp), retargeted at self-hosted Typleaf. See [What changed from the upstream](#-what-changed-from-the-upstream). --- ## 🚀 Setup ### 1. Install ```bash pip install "typleaf-mcp[compile]" ``` Or run without installing: ```bash uvx --from "typleaf-mcp[compile]" typleaf-mcp ``` ### 2. Get your credentials | Variable | Required for | Where to get it | |---|---|---| | `TYPLEAF_BASE_URL` | **everything** | Your instance's URL, e.g. `https://typleaf.example.com` | | `TYPLEAF_SESSION` | **everything else** — read, write, compile, PDF | DevTools → Application → Cookies → *your instance* → `overleaf.sid` → Value | | `TYPLEAF_GIT_TOKEN` | *optional* — commit history only | `<base>/user/settings` → Git Integration → Create Token | > **You do not need a git …
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.