Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
MCP server for UK legislation, case law (Find Case Law), GOV.UK tribunal decisions and HMRC manuals.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"gb-eli": {
"command": "uvx",
"args": [
"gb-eli-mcp"
]
}
}
}ターミナルでこれを実行します
claude mcp add gb-eli -- uvx gb-eli-mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"gb-eli": {
"command": "uvx",
"args": [
"gb-eli-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"gb-eli": {
"type": "stdio",
"command": "uvx",
"args": [
"gb-eli-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント matematicsolutions で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(0.5.3)がレジストリに届いたのは2 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, MemberVault MCP by usefulapi
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i
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.
List courses; add users to courses, remove course access or delete users in MemberVault.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
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.