Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

io.github.matematicsolutions/gb-eli-mcp

PYPI · GB-ELI-MCP · SCANNED SEP 21

MCP server for UK legislation, case law (Find Case Law), GOV.UK tribunal decisions and HMRC manuals.

Available components

+2 this week 76 Trust /100
Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →

Supply Chain Security82
Provenance & Transparency45
Schema Quality & AI Usability63
  • AI-judged instruction clarity (excellent).Pass
  • Context-footprint check failed: tool/resource definitions use about 3290 tokens (~365/item across 9 items; 9 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management93
  • Stability observed for 28 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage100
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 100% of tool parameters carry a description.Pass
  • Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 9 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 10 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
  • Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass
Install

How do I install the io.github.matematicsolutions/gb-eli-mcp server?

io.github.matematicsolutions/gb-eli-mcp runs locally as a PyPI package, launched with uvx gb-eli-mcp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

pypi · gb-eli-mcp

# add to Claude Code
claude mcp add matematicsolutions-gb-eli-mcp -- uvx gb-eli-mcp
// .cursor/mcp.json
{
  "mcpServers": {
    "matematicsolutions-gb-eli-mcp": {
      "command": "uvx",
      "args": [
        "gb-eli-mcp"
      ]
    }
  }
}
// .vscode/mcp.json
{
  "servers": {
    "matematicsolutions-gb-eli-mcp": {
      "command": "uvx",
      "args": [
        "gb-eli-mcp"
      ]
    }
  }
}
# add to Codex CLI
codex mcp add matematicsolutions-gb-eli-mcp -- uvx gb-eli-mcp
// opencode.json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "matematicsolutions-gb-eli-mcp": {
      "type": "local",
      "command": [
        "uvx",
        "gb-eli-mcp"
      ],
      "enabled": true
    }
  }
}
# add to OpenClaw
openclaw mcp add matematicsolutions-gb-eli-mcp --command uvx --arg gb-eli-mcp
# ~/.hermes/config.yaml
mcp_servers:
  matematicsolutions-gb-eli-mcp:
    command: "uvx"
    args: ["gb-eli-mcp"]
// ~/.netclaw/config/netclaw.json
{
  "McpServers": {
    "matematicsolutions-gb-eli-mcp": {
      "Transport": "stdio",
      "Command": "uvx",
      "Arguments": [
        "gb-eli-mcp"
      ]
    }
  }
}
# add to Vellum
assistant mcp add matematicsolutions-gb-eli-mcp -t stdio -c uvx -a gb-eli-mcp
// mcp.json
{
  "mcpServers": {
    "matematicsolutions-gb-eli-mcp": {
      "command": "uvx",
      "args": [
        "gb-eli-mcp"
      ]
    }
  }
}
Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 21 Sept 26 −1
    • Stability: pass → 0.93 functional
  • 20 Sept 26 0
    • Stability: 0.97 → pass security
  • 19 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 93 to 97. That category is still filling its 30-day observation window: 28 days of observed history at the previous scan, 29 at this one. The score rises as the window fills, whether or not the server changes.

  • 17 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 87 to 90. That category is still filling its 30-day observation window: 26 days of observed history at the previous scan, 27 at this one. The score rises as the window fills, whether or not the server changes.

  • 15 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 80 to 83. That category is still filling its 30-day observation window: 24 days of observed history at the previous scan, 25 at this one. The score rises as the window fills, whether or not the server changes.

  • 14 Sept 26 −3
    • Stability: pass → 0.80 functional
  • 13 Sept 26 0
    • Stability: 0.97 → pass security
  • 12 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 93 to 97. That category is still filling its 30-day observation window: 28 days of observed history at the previous scan, 29 at this one. The score rises as the window fills, whether or not the server changes.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 21 Sept 2026 · Analysed pypi/gb-eli-mcp@0.5.3

Provenance No attestation

The registry publishes no build provenance for this version, so there is nothing to verify.

Result No attestation
Ecosystem pypi

Background: How many MCP packages publish verified provenance →

Install scripts 1 script
Hook Tier Command
build_backend allowlisted hatchling.build

Background: Why install scripts are a supply-chain risk →

Vulnerabilities 2 findings
ID CVE Severity Vector Fix available
GHSA-w8v5-vhqr-4h9v CVE-2025-69872 medium no
PYSEC-2026-2447 CVE-2025-69872 none no

Background: What a vulnerability scan can and cannot prove →

Dependencies 23 packages
Packages resolved 23
Stale 2
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 9 exposed · ~1,599 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
gb_coverage ~102

Declare what this connector covers, how it is sourced, and what it does NOT cover. Call this before telling a user that the law "does not contain" something, and whenever a search comes back empty: the absence may be a gap in this connector rather than in the law. Every gap carries a fallback saying where to look instead. Returns: ``Coverage`` with families, an as-of note, and a non-empty list of known gaps.

Input schema present but exposes no named parameters.

NameTypeReqDescription
as_of_notestringyesStates what the dates mean, and what they do not promise.
familiesarray
known_gapsarrayNever empty. An empty list would mean 'not checked', not 'no gaps'.
statusstring

No examples provided.

gb_get_act ~103

Fetch UK legislation metadata from legislation.gov.uk by reference.

NameTypeReqDescription
referencestringyesa reference like ``"ukpga/2018/12"`` (Data Protection Act 2018), ``"uksi/2019/419"``, ``"asp/2015/1"``, or a full legislation.gov.uk URL. An optional point-in-time date suffix (``/2026-06-19``) selec…
NameTypeReqDescription
dataset_notestring
date_modified
description
doc_typestringyes
document_category
document_main_type
document_status
eli_uristringyes
enactment_date
human_readable_citationstringyes
isbn
made_date
numberstringyes
publisher
restrict_extent
restrict_start_date
source_urlstringyes
title
yearstringyes

No examples provided.

gb_get_case ~156

Fetch a UK judgment from The National Archives' Find Case Law service.

NameTypeReqDescription
referencestringyesa neutral citation (e.g. ``"[2026] EWHC 1698 (Admin)"``), a Find Case Law URI/path (e.g. ``"ewhc/admin/2026/1698"`` or a full ``caselaw.nationalarchives.gov.uk`` URL), or an opaque ``"d-{uuid}"`` id.…
NameTypeReqDescription
byte_size
content
court
dataset_notestring
date
formatstring
human_readable_citationstringyes
neutral_citation
pdf_url
source_urlstringyes
title

No examples provided.

gb_get_govuk_content ~199

Fetch one GOV.UK document (tribunal decision, HMRC manual section, CMA case). Maps to the GOV.UK Content API (``www.gov.uk/api/content/{path}`` - confirmed live 2026-07-07). Tribunal decisions carry the judgment as a PDF in ``attachments`` with only a short HTML body; HMRC manual sections carry the full text in ``body_html``.

NameTypeReqDescription
pathstringyesthe document's site path - take it from a ``gb_search_govuk`` result's ``link`` field, e.g. ``"/employment-tribunal-decisions/mr-b-king-v-thales-dis-uk-ltd-1403603-slash-2020"`` or ``"/hmrc-internal-…
NameTypeReqDescription
attachmentsarray
base_path
body_html
byte_size
dataset_notestring
description
document_type
first_published_at
human_readable_citationstringyes
public_updated_at
source_urlstringyes
title

No examples provided.

gb_get_text ~137

Fetch the full text of UK legislation. Uses legislation.gov.uk's content-negotiation path suffix (``/data.{format}``) - ``xml`` (the site's own ``legislation.xsd`` schema), ``html``, ``akn`` (Akoma Ntoso), ``rdf``, ``pdf``, or ``csv``.

NameTypeReqDescription
formatstringone of ``"xml"``, ``"html"``, ``"akn"``, ``"rdf"``, ``"pdf"``, ``"csv"``.
referencestringyesreference of the act/instrument (work or point-in-time expression).
NameTypeReqDescription
byte_size
content
dataset_notestring
eli_uristringyes
formatstringyes
human_readable_citation
source_urlstringyes

No examples provided.

gb_recent_legislation ~189

UK legislation published since ``since_iso`` (ISO 8601 date), newest-first. Maps to the Atom search feed sorted/filtered by publication year, optionally scoped to one ``doc_type``. legislation.gov.uk's public search feed does not support a generic ``dateFrom`` filter across all types, so this tool filters the requested year's feed by the ``published`` date client-side.

NameTypeReqDescription
doc_typerestrict to one UK document-type code (e.g. ``"ukpga"``, ``"uksi"``).
limitintegermax items to return (1..100).
since_isostringyesa date in ISO 8601 (e.g. ``"2026-01-01"``). Only the year is used to select the feed to scan; items are then filtered to on/after this date.
NameTypeReqDescription
resultarrayyes

No examples provided.

gb_search ~122

Search UK legislation on legislation.gov.uk. Maps to the official Atom search feed (``/all/data.feed`` or ``/{doc_type}/data.feed``, optionally with ``?text=...&year=...&page=...``). Each item gets ``eli_uri``, ``human_readable_citation``, ``source_url`` (per Art. 4 CONSTITUTION).

NameTypeReqDescription
queryobjectyes``SearchQuery`` - text, doc_type (e.g. 'ukpga', 'uksi', 'asp'), year, page.
NameTypeReqDescription
dataset_notestring
itemsarray
query_echo
total_estimateintegeryes

No examples provided.

gb_search_case_law ~244

Search UK case law on The National Archives' Find Case Law service. Maps to the public Atom feed at ``caselaw.nationalarchives.gov.uk/atom.xml`` (confirmed live 2026-07-06 - keyless, Open Justice Licence). A separate service from legislation.gov.uk: different host, different Atom dialect (``tna:`` namespace).

NameTypeReqDescription
courtcourt/tribunal code, e.g. ``"ewhc/admin"``, ``"ewca/civ"``, ``"uksc"``. Passed through to Find Case Law's own ``court`` query param.
from_dateISO 8601 date (YYYY-MM-DD), inclusive. Find Case Law's public API has no documented server-side date-range filter, so this is applied client-side against each result's ``date`` field after fetching.
limitintegermax items to return (1..100).
queryfull-text search (matches judgment text in order, per upstream docs).
to_dateISO 8601 date (YYYY-MM-DD), inclusive. Same client-side caveat.
NameTypeReqDescription
dataset_notestring
itemsarray
query_echo
total_estimateintegeryes

No examples provided.

gb_search_govuk ~347

Search GOV.UK documents - tribunal decisions, HMRC manuals, CMA cases and more. Maps to the GOV.UK Search API (``www.gov.uk/api/search.json`` - confirmed live 2026-07-07: keyless, Open Government Licence v3.0). One upstream aggregating many institutions; filter with ``document_type``. Legally weighty types with live-verified totals (2026-07-07): ``employment_tribunal_decision`` (132,162), ``hmrc_manual_section`` (85,315), ``residential_property_tribunal_decision`` (17,088), ``employment_appeal_tribunal_decision`` (2,571), ``cma_case`` (2,565), ``utaac_decision`` (2,031), ``tax_tribunal_decision`` (1,414), ``asylum_support_decision`` (101).

NameTypeReqDescription
document_typeGOV.UK ``content_store_document_type`` slug (see above).
from_dateISO 8601 date (YYYY-MM-DD), inclusive - passed server-side via ``filter_public_timestamp`` (unlike Find Case Law, GOV.UK supports this).
limitintegermax items to return (1..100).
organisationGOV.UK organisation slug, e.g. ``"competition-and-markets-authority"``.
queryfull-text search terms.
startintegerresult offset for pagination (0-based).
to_dateISO 8601 date (YYYY-MM-DD), inclusive. Same server-side filter.
NameTypeReqDescription
dataset_notestring
itemsarray
query_echo
totalintegeryes

No examples provided.

Common questions

What is the io.github.matematicsolutions/gb-eli-mcp server?

io.github.matematicsolutions/gb-eli-mcp is listed in the public MCP registry as io.github.matematicsolutions/gb-eli-mcp. MCP server for UK legislation, case law (Find Case Law), GOV.UK tribunal decisions and HMRC manuals. This page covers its PyPI package (gb-eli-mcp).

Is the io.github.matematicsolutions/gb-eli-mcp server safe to use?

io.github.matematicsolutions/gb-eli-mcp scores 76 out of 100 on VerifyMCP. We recorded 2 known advisories against it as of 21 September 2026. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

What tools does the io.github.matematicsolutions/gb-eli-mcp server expose?

io.github.matematicsolutions/gb-eli-mcp exposes 9 tools: gb_search, gb_get_act, gb_get_text, gb_recent_legislation, gb_search_case_law, and 4 more. Their descriptions and schemas cost roughly 1,599 tokens of context every time the server is loaded.

Is the io.github.matematicsolutions/gb-eli-mcp server still maintained?

io.github.matematicsolutions/gb-eli-mcp is still listed as active in the MCP registry. We last reached this channel on 21 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

What licence is the io.github.matematicsolutions/gb-eli-mcp server under?

io.github.matematicsolutions/gb-eli-mcp declares the Apache-2.0 licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.