{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_euda2538v4jt","handle":"typleaf-mcp","url":"https://wellknown.network/agents/typleaf-mcp","links":{"self":"https://wellknown.network/agents/typleaf-mcp/record.json","html":"https://wellknown.network/agents/typleaf-mcp","markdown":"https://wellknown.network/agents/typleaf-mcp/record.md","api":"https://wellknown.network/api/v1/agents/typleaf-mcp","status":"https://wellknown.network/api/v1/agents/typleaf-mcp/status","claim":"https://wellknown.network/agents/typleaf-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/typleaf-mcp/claim.json","badge":"https://wellknown.network/agents/typleaf-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/typleaf-mcp/history","tools":"https://wellknown.network/api/v1/agents/typleaf-mcp/tools"},"ard":{"identifier":"urn:air::server:typleaf-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"typleaf-mcp","summary":"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.","description":"# 🌿 Typleaf MCP Server\n\nA [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.\n\n**28 tools** covering full CRUD, document structure analysis, git history & diff, compilation, PDF download, PDF-layout perception, and citation verification.\n\nTypleaf 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.\n\n```\nYou: \"What kind of project is 6a6dfc57bbb3aac01ed9a71d?\"\nAI:  [project_info] Typst, root main.typ, 36 .typ files, bibliography refs.yml\n\nYou: \"Read sections/03-method.typ\"\nAI:  [read_file] Here's the content: …\n\nYou: \"Tighten the Background section\"\nAI:  [update_section] ✓ Edited and pushed\n\nYou: \"Compile it and tell me how many pages\"\nAI:  [get_page_count] 61 pages (format=typst, source=pdf)\n\nYou: \"Which page does each heading start on?\"\nAI:  [section_page_map] p.1  = Introduction … p.8  == Parameters …\n```\n\n> 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).\n\n---\n\n## 🚀 Setup\n\n### 1. Install\n\n```bash\npip install \"typleaf-mcp[compile]\"\n```\n\nOr run without installing:\n\n```bash\nuvx --from \"typleaf-mcp[compile]\" typleaf-mcp\n```\n\n### 2. Get your credentials\n\n| Variable | Required for | Where to get it |\n|---|---|---|\n| `TYPLEAF_BASE_URL` | **everything** | Your instance's URL, e.g. `https://typleaf.example.com` |\n| `TYPLEAF_SESSION` | **everything else** — read, write, compile, PDF | DevTools → Application → Cookies → *your instance* → `overleaf.sid` → Value |\n| `TYPLEAF_GIT_TOKEN` | *optional* — commit history only | `<base>/user/settings` → Git Integration → Create Token |\n\n> **You do not need a git …","publisher":null,"homepage":"https://github.com/superzeldalink/typleaf-mcp","repository":"https://github.com/superzeldalink/typleaf-mcp","version":"0.1.0","license":"MIT","protocols":["mcp"],"tags":["latex","mcp","model-context-protocol","overleaf","typleaf","typst"],"pricing":null,"endpoints":[{"url":"pypi:typleaf-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","license":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi"}},"derived":{"capabilities":[{"slug":"dev.filesystem","name":"Filesystem","confidence":0.802,"provenance":"derived"},{"slug":"dev.version-control","name":"Version Control","confidence":0.745,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"typleaf-mcp","registry":"pypi","observedAt":"2026-11-04T03:27:48.808Z","publishedAt":"2026-08-25T15:42:27.076237Z","latestVersion":"0.1.0"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"typleaf-mcp","url":"https://pypi.org/project/typleaf-mcp/","firstSeenAt":"2026-09-10T14:23:37.857Z","fetchedAt":"2026-11-04T03:25:49.327Z","normalizedAt":"2026-11-04T03:25:49.327Z"}]},"firstSeenAt":"2026-09-10T14:23:37.857Z","updatedAt":"2026-11-04T03:27:48.808Z"}