Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
BAG EPL: Spezialitätenliste, medication and reimbursement data
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"bag-epl": {
"command": "uvx",
"args": [
"bag-epl-mcp"
]
}
}
}ターミナルでこれを実行します
claude mcp add bag-epl -- uvx bag-epl-mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"bag-epl": {
"command": "uvx",
"args": [
"bag-epl-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"bag-epl": {
"type": "stdio",
"command": "uvx",
"args": [
"bag-epl-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント malkreide で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(1.0.4)がレジストリに届いたのは40 日前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, EmbeddedCI BenchPod
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Drive a BenchPod hardware-in-the-loop bench: power, flash, UART, I2C, CAN, analog and logic.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
\U0001f1e8\U0001f1ed Part of the [Swiss Public Data MCP Portfolio](https://github.com/malkreide)
MCP Server for the Swiss BAG electronic benefits platform (ePL) — Spezialitaetenliste, GGSL, MiGeL
\U0001f1e9\U0001f1ea Deutsche Version
bag-epl-mcp enables AI models to answer questions about mandatory health insurance coverage in Switzerland — in natural language, grounded in real data.
| List | Purpose | Legal basis |
|---|---|---|
| Spezialitaetenliste (SL) | Compulsory-insurance medications | KVG Art. 52 |
| GGSL | Medications for congenital disorders (IV) | IVG Anhang |
| MiGeL | Medical devices & aids | KLV Art. 20 |
Anchor query: *"Is this medication covered by mandatory health insurance?"* → epl_sl_suche: Live lookup in the Spezialitaetenliste (SL) → More use cases by audience →
# Clone the repository
git clone https://github.com/malkreide/bag-epl-mcp.git cd bag-epl-mcp
pip install -e .
uv pip install -e .
Or with uvx (no permanent installation):
uvx bag-epl-mcp
# stdio (for Claude Desktop) — default, opens no network ports
python -m bag_epl_mcp.server
MCP_TRANSPORT=streamable-http MCP_HOST=0.0.0.0 MCP_PORT=8000 \ pip install -e ".[http]" && python -m bag_epl_mcp.server
Transport & host are configured exclusively via environment variables
(
MCP_TRANSPORT,MCP_HOST,MCP_PORT). The default isstdiobound to
nothing;
MCP_HOSTdefaults to127.0.0.1and should only be set to
0.0.0.0inside a container/cloud environment.
Try it immediately in Claude Desktop:
*"Is Methylphenidate (Ritalin) covered by mandatory health insurance?"*
*"Which laws regulate admission to the Spezialitaetenliste?"*
*"Is a wheelchair covered by mandatory insurance?"*
Edit ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows):
{
"mcpServers": { "bag-epl": { "command": "python", "args": ["-m", "bag_epl_mcp.server"] } } }
Or with uvx:
{
"mcpServers": { "bag-epl": { "command": "uvx", "args": ["bag-epl-mcp"] } } }
Render.com (recommended):
pip install -e ".[http]"MCP_TRANSPORT=streamable-httpMCP_HOST=0.0.0.0 (required so the container accepts external traffic)MCP_PORT=8000 (or Render's $PORT)MCP_CORS_ORIGINS='["https://claude.ai"]' to extend the browser CORS allow-listpip install -e ".[http,otel]" and point OTEL_EXPORTER_OTLP_ENDPOINT at your collector. Set MCP_OTEL_ENABLED=0 to disable.python -m bag_epl_mcp.serverhttps://your-app.onrender.com/mcpSecurity note: the server exposes only public, read-only data and uses no
authentication. See
docs/SECURITY.mdfor the threat
model (egress allow-list, host binding, Lethal-Trifecta assessment).
| Tool | Description |
|---|---|
epl_sl_suche | Search the Spezialitaetenliste for compulsory-insurance medications |
epl_ggsl_abfrage | Check GGSL coverage for congenital disorders |
epl_migel_suche | Search the MiGeL for medical devices & aids |
epl_gesuchseingaenge | List pending SL admission requests (transparency) |
epl_rechtskontext | Legal context for coverage questions (WZW criteria) |
epl_server_info | Server status and API phase information |
| Query | Tool |
|---|---|
| *"Is Ritalin covered by insurance?"* | epl_sl_suche |
| *"Which medications for congenital disorder GG-313?"* | epl_ggsl_abfrage |
| *"Is a wheelchair covered?"* | epl_migel_suche |
| *"Which laws regulate the SL?"* | epl_rechtskontext |
Data flow (Phase 1):
bag-epl-mcp (FastMCP)
┌────────────┐ MCP ┌───────────────────────────────┐ HTTPS GET ┌──────────────────┐ │ MCP Client │◀───────▶│ tools (read-only) │─────────────▶│ sl.bag.admin.ch │ │ (Claude │ stdio / │ ├─ epl_sl_suche │ egress │ www.bag.admin.ch │ │ Desktop, │ Stream- │ ├─ epl_ggsl_abfrage │ allow-list │ www.fedlex... │ │ claude.ai)│ able │ ├─ epl_migel_suche │◀─────────────│ (public OGD) │ │ │ HTTP │ ├─ epl_gesuchseingaenge │ (no auth) └──────────────────┘ │ │ │ ├─ epl_rechtskontext │ │ │ │ └─ epl_server_info │ structured JSON logs → stderr └────────────┘ │ resources: epl://uebersicht …│ │ prompts: epl_kassenpflicht…│ └───────────────────────────────┘
Phase roadmap (details in docs/ROADMAP.md):
Phase 1 (current) → legal context + entry points, no data retrieval
Phase 2 (planned) → FHIR/IDMP API, once publicly accessible Phase 3 (vision) → MiGeL + AL via ePL-FHIR
What Phase 1 does, and what it does not. Five of the six tools make no network request at all — there is exactly one outgoing HTTP call in the whole module. They return the legal basis and an entry point, and they now say so. The previous wording, "XML/XLSX downloads + SL website access", advertised a capability with no code path behind it; on 2026-08-08 it was removed rather than implemented, because the underlying source is not machine-readable.
That one HTTP call goes to sl.bag.admin.ch/api/search and receives HTTP 200 with `text/html` — the 51 KB Angular shell. A freely invented path under the same prefix returns the identical response, byte for byte: there is no API at that address. Previously the resulting JSON parse error was caught by a bare except Exception and turned into the claim "the SL database API is not publicly documented" — a statement about the BAG's publishing practice, derived from a parser error. The tool now reports what was measured.
The SL front end calls https://epl.bag.admin.ch/api/sl/ instead, on a different host. That host answers 401 without authentication — but it answers 401 for invented paths too, so this does not establish that any particular route exists. It is deliberately not on the egress allow-list: without verifiable access, adding it would be a grant on suspicion.
MCP protocol version: 2026-07-28 natively, 2025-11-25 as the initialize handshake ceiling. epl_server_info reports the revision the calling connection actually negotiated — derived from the request, not written down here a second time. See MCP Protocol Version for both eras. SDK updates are proposed monthly via Dependabot; the protocol version is reviewed on every mcp SDK bump — see the versioning policy in docs/ROADMAP.md.
limit parameters conservatively.scripts/record_fixtures.py on every run, together with a control request to an invented path. Two BAG pages previously handed out (.../Arzneimittel/geburtsgebrechen-spezialitaetenliste.html and .../Arzneimittel/gesuchseingaenge.html) answered HTTP 404 on 2026-08-08 and were replaced by the entry point that verifiably resolves — not by a guessed replacement URL.eli/cc/1986/40_40_40, no register entry) went unnoticed; the correct ELI is eli/cc/1986/46_46_46.source / provenance block (JSON) or a source-and-licence footer (Markdown) so attribution is preserved.content) and a typed structuredContent validated against a per-tool output schema, so MCP clients can consume results programmatically without parsing prose.This server speaks two protocol eras over the same endpoint. The client's first request on a connection decides which one applies; a later claim from the other era is refused.
| Era | Revision | Who reaches it |
|---|---|---|
initialize handshake | 2024-11-05 … `2025-11-25` | What today's clients speak. The server answers with the revision asked for, or with the 2025-11-25 ceiling when the request asks for something newer. |
| Per-request envelope | `2026-07-28` | A request carrying the 2026-07-28 _meta envelope opens a modern connection. |
Both revisions are pinned in tests/test_protocol_version.py and asserted against the
冒頭だけを表示しています。続きはリポジトリで読めます