Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Beschreibung vom Entwickler (englisches Original)
MCP server for UK legislation, case law (Find Case Law), GOV.UK tribunal decisions and HMRC manuals.
Diese drei werden nie zu einer Punktzahl zusammengefasst: Meinungen, Messungen und Beliebtheit sind verschiedene Dinge.
Für diesen Server haben wir noch keine Zusammenfassung in einfacher Sprache geschrieben. Unten stehen die Fakten, die wir aus der Registry gelesen haben.
Wähle die KI-App, die du nutzt, und kopiere die Einstellungen.
Du brauchst
Welche App nutzt du?
Wähle oben deine App. Wir merken sie uns, damit der Button beim nächsten Mal „In … installieren“ anzeigt.
Öffne Claude Desktop → Settings → Developer → Edit Config und füge dies in claude_desktop_config.json ein
{
"mcpServers": {
"gb-eli": {
"command": "uvx",
"args": [
"gb-eli-mcp"
]
}
}
}Führe das in deinem Terminal aus
claude mcp add gb-eli -- uvx gb-eli-mcpIn .cursor/mcp.json in deinem Projekt oder in ~/.cursor/mcp.json einfügen
{
"mcpServers": {
"gb-eli": {
"command": "uvx",
"args": [
"gb-eli-mcp"
]
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
In .vscode/mcp.json in deinem Projekt einfügen
{
"servers": {
"gb-eli": {
"type": "stdio",
"command": "uvx",
"args": [
"gb-eli-mcp"
]
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
Dieser Server läuft auf deinem Computer, und ChatGPT kann sich nur mit Servern im Internet verbinden. Wähle eine andere App.
Deine Auswahl bleibt in einem Cookie auf diesem Gerät; kein Konto nötig.
Diese Einstellungen werden aus dem Registry-Eintrag des Entwicklers erzeugt. Wenn in der README etwas anderes steht, folge der README.
Läuft auf deinem Computer; die Tool-Liste erscheint nach der Installation in deiner KI-App.
Wir prüfen Informationen, die jeder sehen kann; den Code haben wir nicht gelesen. Checks, die nicht zutreffen, werden nicht mitgezählt. · Geprüft am 7. Nov. 2026
Der Registry-Name wurde mit dem GitHub-Konto matematicsolutions bestätigt, dem das Repo gehört
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieser Server läuft auf deinem Computer; es gibt keinen Endpunkt im Internet
Läuft auf deinem Computer und nutzt stattdessen lokale Einstellungen
Läuft auf deinem Computer; Tool-Listen können wir nur von Endpunkten im Internet lesen
Verglichen mit allen aktiven Servern dieser Kategorie in der Registry. Sterne zählen nur, wenn dem Herausgeber das Repo gehört.
Er hat 1 von 1 zutreffenden Basischecks bestanden. Den Code haben wir nicht gelesen. Bevor du einen Schlüssel oder Token hinzufügst, sieh nach, welche Zugriffe der Server verlangt, und nutze einen Schlüssel, der nur die Berechtigungen hat, die du brauchst.
Die Registry nennt keinen erforderlichen Schlüssel, manche Server bitten dich aber bei der ersten Nutzung, dich anzumelden.
Er läuft auf deinem Computer. Deine KI-App startet ihn bei Bedarf, und die Daten laufen nicht über die Server des Entwicklers (außer der Server ruft selbst einen Onlinedienst auf).
Das GitHub-Repo wurde zuletzt – geändert, und die neueste Version (0.5.3) kam vor 2 Monaten in die Registry.
Apps, die MCP unterstützen, etwa Claude Desktop, Claude Code, Cursor und VS Code. Außerdem brauchst du Python (uv) auf deinem Computer.
In derselben Kategorie: Spec Driven Development, Remote Desktop Commander, Dialyne
Server derselben Kategorie von anderen Entwicklern, sortiert nach Sternen.
So liest du eine Karte:★ GitHub-SterneiDrei Säulen: Bewertungen · Checks · NutzungiAktualisiert = neueste Version in der Registry veröffentlichti
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Real phone calls in France for AI agents: dial +33 numbers, menus, hold, AI disclosure.
Unverändert aus dem Repo des Entwicklers übernommen. PopNx MCP hat den Inhalt weder geprüft noch empfiehlt es ihn. HTML, Bilder und Skripte wurden entfernt. Links führen von dieser Website weg.
An MCP server for legislation.gov.uk, The National Archives' official portal for United Kingdom legislation. It searches and retrieves Acts of Parliament, UK Statutory Instruments, and the equivalent instruments of the Scottish Parliament, Senedd Cymru/Welsh Parliament and Northern Ireland Assembly, with persistent identifiers and verifiable citations.
Part of the MateMatic eu-legal-mcp production line: the UK counterpart of the Polish sejm-eli-mcp and the German de-eli-mcp, built on the same architecture and citation contract against the UK's own source.
No native ELI. legislation.gov.uk does not publish a native
/eli/namespace
(confirmed live:
GET /eli/ukpga/2018/12returns 404), even though its own
persistent-identifier scheme predates and is closely related to ELI - the UK is widely
credited with pioneering the URI-based legislation-identifier concept that ELI later
formalised EU-wide.
eli_uritherefore carries the UK's own stable id URI
(
https://www.legislation.gov.uk/id/{type}/{year}/{number}) instead of a fabricated
ELI path - the same disclosure pattern used by this factory's
nl-eli-mcpand
se-eli-mcp. SeeCONSTITUTION.mdArt. 4.
Licence. Content is published under the Open Government Licence v3.0
(confirmed live from the site's own
/helppage), which permits copying, publishing
and adapting with attribution. This connector only relays that public content, with a
source_urlon every response.
| Tool | What it does |
|---|---|
gb_search | Search legislation by text, doc type and year (/all/data.feed or /{doc_type}/data.feed). |
gb_get_act | Fetch act/instrument metadata by reference (e.g. ukpga/2018/12). |
gb_get_text | Fetch the full text (xml, html, akn/Akoma Ntoso, rdf, pdf, csv). |
gb_recent_legislation | Legislation published since a date, newest-first, optionally by doc type. |
gb_search_case_law | Search UK judgments via The National Archives' Find Case Law Atom feed, by text, court, and date range. |
gb_get_case | Fetch a judgment by neutral citation, Find Case Law URI/path, or opaque id - returns Akoma Ntoso XML, or a PDF link fallback. |
gb_search_govuk | Search GOV.UK documents via the keyless Search API - employment/tax/property tribunal decisions, HMRC internal manuals, CMA cases - with server-side date filters and real totals. |
gb_get_govuk_content | Fetch one GOV.UK document via the Content API - tribunal decisions return the judgment PDF link, HMRC manual sections return the full text. |
gb_coverage | Declare what this connector covers, when each family was captured, and - explicitly - what it does NOT cover. Every gap carries a fallback. |
One upstream, many institutions: gb_search_govuk filters by document_type. Live-verified totals (2026-07-07, from the Search API's own total/facet fields - probe: https://www.gov.uk/api/search.json?count=0&facet_content_store_document_type=1000):
document_type | Documents |
|---|---|
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 (Upper Tribunal, AAC) | 2,031 |
tax_tribunal_decision | 1,414 |
asylum_support_decision | 101 |
See SOURCES.md for the full per-source ledger, including what was scouted and deliberately rejected (ICO, FCA, IAC) and why.
Every response carries the contract: eli_uri (e.g. https://www.legislation.gov.uk/id/ukpga/2018/12), human_readable_citation (e.g. Data Protection Act 2018 c. 12), and source_url. Case-law responses carry the same-spirit contract (human_readable_citation, source_url, dataset_note) - see CONSTITUTION.md Art. 5.
As a Claude plugin (Claude Code or the desktop app, needs uv); see plugin/README.md for what it sends and stores:
/plugin marketplace add matematicsolutions/gb-eli-mcp
/plugin install gb-eli-mcp@gb-eli-mcp
As a standalone server, from PyPI (uvx gb-eli-mcp), or from source:
cd gb-eli-mcp
pip install -e .
Copy .mcp.json.example and adjust if needed:
{
"mcpServers": { "gb-eli-mcp": { "command": "gb-eli-mcp" } } }
Smart App Control blocks unsigned executables, which covers uvx.exe, pip.exe and the gb-eli-mcp.exe launcher that pip writes at install time. The python.exe and py.exe from the python.org installer are signed by the Python Software Foundation, so running the module through the interpreter works:
python -m pip install gb-eli-mcp
python -m gb_eli_mcp
pip.exe is blocked for the same reason, so install with python -m pip, not pip install. If python is not on PATH, use the Windows launcher: py -3 -m gb_eli_mcp.
{ "mcpServers": { "gb-eli-mcp": { "command": "python", "args": ["-m", "gb_eli_mcp"] } } }
Do not turn Smart App Control off to work around this - it cannot be re-enabled without reinstalling Windows.
Environment:
GB_ELI_BASE_URL - default https://www.legislation.gov.ukGB_ELI_CASELAW_BASE_URL - default https://caselaw.nationalarchives.gov.ukGB_ELI_GOVUK_BASE_URL - default https://www.gov.ukGB_ELI_CACHE_DIR - default ~/.matematic/cache/gb-eliGB_ELI_AUDIT_DIR - default ~/.matematic/auditNo API key. legislation.gov.uk is keyless.
~/.matematic/audit/gb-eli-mcp.jsonl.gb-runtime.json.gz, updated source addresses) from this repository's GitHub Releases. That request carries no query content; GitHub's download counter for the file is the only usage signal we see. GB_ELI_RUNTIME_URL="" turns it off; the Claude plugin ships with it off. No LLM provider, no other telemetry.source_url.See CONSTITUTION.md (the binding rules) and DISCOVERY.md (the live API probe).
pip install -e ".[dev]"
pytest tests/test_instructions_drift.py -v # offline pytest tests/test_citations_case_law.py -v # offline pytest tests/test_citations_govuk.py -v # offline pytest tests/test_smoke.py -v # hits live legislation.gov.uk pytest tests/test_smoke_case_law.py -v # hits live caselaw.nationalarchives.gov.uk pytest tests/test_smoke_govuk.py -v # hits live www.gov.uk
Apache-2.0. (c) Matematic Solutions / Wieslaw Mazur.
Note: the *code* in this repository is Apache-2.0. The *legislation content* fetched at runtime from legislation.gov.uk remains Crown copyright, published under the Open Government Licence v3.0 - not relicensed by this project.