lex-uk-law vs Overleaf
lex-uk-law is a plugin bundle for AI coding tools published by i.AI (Incubator for Artificial Intelligence), DSIT. Marketplaces we read that list it: 1 (Community GitHub marketplaces). Overleaf is an MCP server published by yangzichao. Marketplaces we read that list it: 2 (Official MCP Registry, npm registry (MCP servers)). As of our marketplace pass on 2026-10-22. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace |  Overleaf | |
|---|---|---|
| Community marketplace i-dot-ai/lex | Listed Version: 1.1.0 Forks (GitHub): 33 Stars (GitHub): 76 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.3.9 Downloads/month (npm): 578 Downloads/week (npm): 183 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
| npm registry (MCP servers) | Not listed | Listed Version: 0.3.9 Downloads/month (npm): 578 Downloads/week (npm): 183 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | lex-uk-law | Overleaf |
|---|---|---|
| Marketplaces that list it (differs) | 1 (worse) | 2 (better) |
| Stars (GitHub) (differs) | 76 (better) | 0 (worse) |
| Forks (GitHub) (differs) | 33 (better) | 0 (worse) |
| Last release (differs) | Not published | 2026-10-16 |
| Where it runs (differs) | Remote server (lex.lab.i.ai.gov.uk/mcp) | On your machine (mcp-server-overleaf) |
| Transport (differs) | Streamable HTTP | stdio |
| Tools it declares | Not published | Not published |
| Environment variables it asks for (differs) | Not published | 3, secrets among them: 2 |
| Parts of the bundle (differs) | 2 | Not a bundle |
| Licence (differs) | Not stated | MIT |
| Repository (differs) | github.com/i-dot-ai/lex | github.com/yangzichao/mcp-server-overleaf |
| Changes in the last 7 days (differs) | 2 | 3 |
| First seen (differs) | 2026-10-21 | 2026-10-11 |
| Endpoint at the last check (differs) | not checked yet | no remote endpoint we check |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
lex-uk-law
UK legal research skill — search legislation, amendments, explanatory notes, and legal provisions via the Lex API. Use whenever you need to research UK law, look up specific Acts or sections, check amendment histories, or understand how legislation has changed over time.
Overleaf
Overleaf MCP server for Claude, Codex, ChatGPT, and Cursor with safe LaTeX editing and review.
How to run each
lex-uk-law As a Claude Code plugin
/plugin marketplace add i-dot-ai/lex
/plugin install lex-uk-law@lexOverleaf As a local MCP server: npm package
claude mcp add --env "OVERLEAF_GIT_TOKEN=<YOUR_OVERLEAF_GIT_TOKEN>" --env "OVERLEAF_PROJECT_ID=<YOUR_OVERLEAF_PROJECT_ID>" --env "OVERLEAF_SESSION_COOKIE=<YOUR_OVERLEAF_SESSION_COOKIE>" --transport stdio mcp-server-overleaf -- npx -y mcp-server-overleaf --stdioRequires: OVERLEAF_GIT_TOKEN (secret), OVERLEAF_PROJECT_ID, OVERLEAF_SESSION_COOKIE (secret)
Commands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
The marketplaces of lex-uk-law publish no settings it asks for, so we do not compare settings.
What it can do: lex-uk-law · What it can do: Overleaf · Compare two other plugins
Data comes from public marketplace files in GitHub repositories of their authors. Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Package data comes from the public npm registry (registry.npmjs.org). Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.