ch-eli-mcp 0.1.0__tar.gz

ch_eli_mcp-0.1.0/.github/workflows/release.yml

@@ -0,0 +1,61 @@
+name: release
+
+# Publishes to PyPI (org secret PYPI_API_TOKEN) + the MCP Registry (GitHub OIDC).
+# Trigger: push a version tag, e.g. `git tag v0.1.0 && git push origin v0.1.0`.
+# Pattern matches gb-eli-mcp (classic token; OIDC trusted-publishing hit a
+# persistent invalid-publisher error across the fleet).
+
+on:
+  push:
+    tags:
+      - "v*"
+  workflow_dispatch: {}   # manual re-run of the MCP Registry publish without bumping the package version
+
+permissions:
+  contents: read
+  id-token: write   # required for the MCP Registry OIDC login
+
+jobs:
+  build-and-publish-pypi:
+    if: github.event_name == 'push'   # only on a version tag; skipped on manual dispatch
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Install build tooling
+        run: python -m pip install --upgrade build
+
+      - name: Build sdist + wheel
+        run: python -m build
+
+      - name: Publish to PyPI (org API token)
+        uses: pypa/gh-action-pypi-publish@release/v1
+        with:
+          password: ${{ secrets.PYPI_API_TOKEN }}
+
+  publish-mcp-registry:
+    needs: build-and-publish-pypi
+    # run after a successful PyPI publish, OR standalone on manual dispatch
+    if: always() && (github.event_name == 'workflow_dispatch' || needs.build-and-publish-pypi.result == 'success')
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      id-token: write   # OIDC login to the MCP Registry
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install mcp-publisher
+        run: |
+          curl -L "https://github.com/modelcontextprotocol/registry/releases/latest/download/mcp-publisher_$(uname -s | tr '[:upper:]' '[:lower:]')_amd64.tar.gz" | tar xz mcp-publisher
+          sudo mv mcp-publisher /usr/local/bin/
+
+      - name: Login to MCP Registry (GitHub OIDC)
+        run: mcp-publisher login github-oidc
+
+      - name: Publish server.json to MCP Registry
+        run: mcp-publisher publish

ch_eli_mcp-0.1.0/.gitignore

@@ -0,0 +1,20 @@
+# Python
+.venv/
+__pycache__/
+*.py[cod]
+*.egg-info/
+dist/
+build/
+.pytest_cache/
+.mypy_cache/
+.ruff_cache/
+
+# Local runtime (never source)
+.matematic/
+*.log
+
+# OS
+.DS_Store
+Thumbs.db
+
+# Note: tests/fixtures/* ARE committed - public Finlex data needed for tests.

ch_eli_mcp-0.1.0/DISCOVERY.md

@@ -0,0 +1,53 @@
+# Discovery notes - Switzerland
+
+Date: 2026-07-06.
+
+## Why Switzerland, and why it stands out in this fleet
+
+The user asked to also check Switzerland and Monaco after the Americas ROI
+sweep. Live probing found Fedlex is the strongest non-EU legal API found so
+far in this whole project: genuinely ELI-native (the resource URI itself is
+the ELI, no adaptation needed, unlike NL/SE/FR/BR/US/CO/CA in this fleet,
+which all had to explain why they do NOT have native ELI). Confirmed via
+the JOLux ontology, the same one Luxembourg's Legilux uses - meaning
+Switzerland and Luxembourg share a data model family despite Switzerland
+being outside the EU.
+
+## What was tried and what worked
+
+- `https://fedlex.data.admin.ch/sparqlendpoint` - keyless SPARQL, confirmed
+  live 2026-07-06.
+- An existing third-party connector, `loicvuilliomenet-boop/fedlex-mcp`
+  (found via web search, listed on mcpservers.org), confirmed Fedlex is a
+  known target - but its GitHub license field reports `NOASSERTION`
+  (all-rights-reserved by default), it has 1 star, and its last push was
+  2026-03-30 (over 3 months stale at time of writing). Not forked or
+  depended on; used only as a signal that the target is viable. This
+  connector's code is written from scratch against the official endpoint.
+- Virtuoso's `bif:contains` full-text extension is disabled on this public
+  endpoint (`"Illegal requests in query"` error) - switched to a standard
+  `FILTER(CONTAINS(LCASE(?title), "..."))`, confirmed working (e.g.
+  searching "Datenschutz" correctly returns the Federal Data Protection Act
+  and related instruments).
+- The official tutorial repo `swiss/fedlex-sparql` (a JupyterLite notebook)
+  provided the working query patterns for JOLux navigation (Work ->
+  Expression -> title/titleShort, `classifiedByTaxonomyEntry` -> SR
+  number).
+
+## Monaco and Cyprus - checked and skipped in the same pass
+
+- **Monaco** (`legimonaco.mc`) - plain HTML government site, no API surface
+  found. Population ~39,000; even a clean API would carry limited ROI at
+  this market size. SKIP.
+- **Cyprus** (`cylaw.org`) - a bare Apache directory index of HTML files
+  under `/nomoi/indexes/`, no JSON/XML API. This is the same
+  "legal-information-institute" pattern (like SAFLII/KenyaLaw, already
+  SKIP'd elsewhere in this fleet's discovery notes) - scraping-only, off
+  the zero-cloud principle this fleet follows. SKIP.
+
+## Not resolved / revisit later
+
+- No confirmed bulk/offline mode - would need to resolve
+  `jolux:isExemplifiedBy` manifestation links for full text, not attempted
+  in this pass.
+- Cantonal legislation and Federal Supreme Court case law not surveyed.

ch_eli_mcp-0.1.0/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

ch_eli_mcp-0.1.0/PKG-INFO

@@ -0,0 +1,77 @@
+Metadata-Version: 2.4
+Name: ch-eli-mcp
+Version: 0.1.0
+Summary: MCP server for Swiss federal legislation (Fedlex, native ELI) with verifiable citations.
+Project-URL: Repository, https://github.com/matematicsolutions/ch-eli-mcp
+Project-URL: Issues, https://github.com/matematicsolutions/ch-eli-mcp/issues
+Project-URL: Homepage, https://matematic.co
+Author-email: Matematic Solutions <kontakt@matematic.co>, Wieslaw Mazur <mazur.wieslaw2022@gmail.com>
+License: Apache-2.0
+License-File: LICENSE
+Keywords: eli,fedlex,law,legaltech,mcp,sparql,switzerland
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Legal Industry
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Office/Business
+Requires-Python: >=3.11
+Requires-Dist: anyio>=4.3
+Requires-Dist: diskcache>=5.6
+Requires-Dist: fastmcp>=0.2.0
+Requires-Dist: httpx>=0.27
+Provides-Extra: dev
+Requires-Dist: mypy>=1.10; extra == 'dev'
+Requires-Dist: pytest-asyncio>=0.23; extra == 'dev'
+Requires-Dist: pytest>=8.0; extra == 'dev'
+Requires-Dist: ruff>=0.5; extra == 'dev'
+Description-Content-Type: text/markdown
+
+# ch-eli-mcp
+
+<!-- mcp-name: io.github.matematicsolutions/ch-eli-mcp -->
+
+MCP server for Swiss federal legislation via Fedlex, the Federal
+Chancellery's official publication platform. Fedlex is genuinely
+ELI-native (European Legislation Identifier) even though Switzerland is
+not an EU member. Multilingual: German, French, Italian, English.
+
+## What this is not
+
+This connector returns metadata (title, SR number) via SPARQL - not the
+operative text of the law. `source_url` points to the public Fedlex page
+where the full text lives.
+
+## Tools
+
+| Tool | Purpose |
+|---|---|
+| `ch_search_acts` | Full-text search over act titles, in one of four languages |
+| `ch_get_act` | Full detail for one act by its Fedlex ELI URI |
+
+Every response carries `lex_uri` (the native ELI URI - not invented, taken
+directly from Fedlex), `source_url` (the public HTML page), and
+`human_readable_citation` (e.g. `"Bundesverfassung der Schweizerischen
+Eidgenossenschaft (SR 101)"` - the SR number is Switzerland's own
+Systematische Sammlung / Classified Compilation citation convention).
+
+## Install
+
+```bash
+pip install ch-eli-mcp
+```
+
+## Configuration
+
+| Env var | Default |
+|---|---|
+| `CH_ELI_CACHE_DIR` | `~/.matematic/cache/ch-eli` |
+| `CH_ELI_AUDIT_DIR` | `~/.matematic/audit` |
+| `CH_ELI_BASE_URL` | `https://fedlex.data.admin.ch/sparqlendpoint` |
+
+## License
+
+Apache-2.0 (code). Fedlex content is official Swiss federal publication
+material (see [SOURCES.md](SOURCES.md)).

ch_eli_mcp-0.1.0/README.md

@@ -0,0 +1,46 @@
+# ch-eli-mcp
+
+<!-- mcp-name: io.github.matematicsolutions/ch-eli-mcp -->
+
+MCP server for Swiss federal legislation via Fedlex, the Federal
+Chancellery's official publication platform. Fedlex is genuinely
+ELI-native (European Legislation Identifier) even though Switzerland is
+not an EU member. Multilingual: German, French, Italian, English.
+
+## What this is not
+
+This connector returns metadata (title, SR number) via SPARQL - not the
+operative text of the law. `source_url` points to the public Fedlex page
+where the full text lives.
+
+## Tools
+
+| Tool | Purpose |
+|---|---|
+| `ch_search_acts` | Full-text search over act titles, in one of four languages |
+| `ch_get_act` | Full detail for one act by its Fedlex ELI URI |
+
+Every response carries `lex_uri` (the native ELI URI - not invented, taken
+directly from Fedlex), `source_url` (the public HTML page), and
+`human_readable_citation` (e.g. `"Bundesverfassung der Schweizerischen
+Eidgenossenschaft (SR 101)"` - the SR number is Switzerland's own
+Systematische Sammlung / Classified Compilation citation convention).
+
+## Install
+
+```bash
+pip install ch-eli-mcp
+```
+
+## Configuration
+
+| Env var | Default |
+|---|---|
+| `CH_ELI_CACHE_DIR` | `~/.matematic/cache/ch-eli` |
+| `CH_ELI_AUDIT_DIR` | `~/.matematic/audit` |
+| `CH_ELI_BASE_URL` | `https://fedlex.data.admin.ch/sparqlendpoint` |
+
+## License
+
+Apache-2.0 (code). Fedlex content is official Swiss federal publication
+material (see [SOURCES.md](SOURCES.md)).

ch_eli_mcp-0.1.0/SOURCES.md

@@ -0,0 +1,39 @@
+# Sources
+
+## Fedlex SPARQL endpoint (`fedlex.data.admin.ch/sparqlendpoint`)
+
+- **Origin**: Swiss Federal Chancellery.
+- **License**: official federal publication platform; no separate reuse
+  license found during discovery beyond it being the public consolidation
+  meant for public use - same caution class as other government legal
+  text sources in this fleet (flagged, not blocking a keyless-fetch
+  connector).
+- **Access**: keyless SPARQL 1.1 (Virtuoso), JSON results.
+- **Ontology**: JOLux (`http://data.legilux.public.lu/resource/ontology/jolux#`)
+  - the same ontology namespace used by Luxembourg's Legilux, confirmed by
+  cross-referencing `lu-eli-mcp`'s discovery notes. Models Work
+  (`ConsolidationAbstract`) / Expression (`isRealizedBy`, per-language
+  title) / Manifestation (`isEmbodiedBy`, file format + download link).
+- **Identifier**: the resource URI itself, e.g.
+  `https://fedlex.data.admin.ch/eli/cc/1999/404` for the Federal
+  Constitution - genuinely ELI, not an adapted local scheme (unlike most
+  non-EU connectors in this fleet).
+- **Citation convention**: SR number (Systematische Sammlung des
+  Bundesrechts / Classified Compilation), e.g. "SR 101" - queried via
+  `jolux:classifiedByTaxonomyEntry` -> `skos:notation`.
+- **Full-text search caveat**: Virtuoso's `bif:contains` extension returns
+  `"Illegal requests in query"` on this public endpoint (unlike Chile's BCN
+  endpoint, where it works) - this connector uses a standard SPARQL
+  `FILTER(CONTAINS(...))` instead, which is portable but slower on large
+  result sets.
+
+## Not covered (out of scope for this connector)
+
+- **Full operative text** - the SPARQL endpoint exposes metadata and
+  manifestation links (e.g. PDF download URLs via `jolux:isExemplifiedBy`),
+  not inline article text. A future version could resolve those links.
+- **Cantonal legislation** - each canton publishes separately; not
+  surveyed in this pass.
+- **Case law** (Federal Supreme Court decisions) - not surveyed in this
+  pass; a natural v0.2 feature if Fedlex or a sibling platform exposes it
+  via the same SPARQL endpoint.

ch_eli_mcp-0.1.0/glama.json

@@ -0,0 +1,4 @@
+{
+  "$schema": "https://glama.ai/mcp/schemas/server.json",
+  "maintainers": ["mazurwieslaw2022-cmd"]
+}

ch_eli_mcp-0.1.0/pyproject.toml

@@ -0,0 +1,65 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "ch-eli-mcp"
+version = "0.1.0"
+description = "MCP server for Swiss federal legislation (Fedlex, native ELI) with verifiable citations."
+readme = "README.md"
+license = { text = "Apache-2.0" }
+requires-python = ">=3.11"
+authors = [
+    { name = "Matematic Solutions", email = "kontakt@matematic.co" },
+    { name = "Wieslaw Mazur", email = "mazur.wieslaw2022@gmail.com" },
+]
+keywords = ["mcp", "legaltech", "switzerland", "fedlex", "eli", "sparql", "law"]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Intended Audience :: Legal Industry",
+    "License :: OSI Approved :: Apache Software License",
+    "Operating System :: OS Independent",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Topic :: Office/Business",
+]
+dependencies = [
+    "fastmcp>=0.2.0",
+    "httpx>=0.27",
+    "diskcache>=5.6",
+    "anyio>=4.3",
+]
+
+[project.optional-dependencies]
+dev = [
+    "pytest>=8.0",
+    "pytest-asyncio>=0.23",
+    "mypy>=1.10",
+    "ruff>=0.5",
+]
+
+[project.urls]
+Repository = "https://github.com/matematicsolutions/ch-eli-mcp"
+Issues = "https://github.com/matematicsolutions/ch-eli-mcp/issues"
+Homepage = "https://matematic.co"
+
+[project.scripts]
+ch-eli-mcp = "ch_eli_mcp.server:main"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/ch_eli_mcp"]
+
+[tool.ruff]
+line-length = 100
+target-version = "py311"
+
+[tool.ruff.lint]
+select = ["E", "F", "I", "B", "UP", "N", "SIM", "RUF"]
+
+[tool.ruff.lint.per-file-ignores]
+"src/ch_eli_mcp/server.py" = ["E501"]
+
+[tool.pytest.ini_options]
+asyncio_mode = "auto"
+testpaths = ["tests"]

ch_eli_mcp-0.1.0/server.json

@@ -0,0 +1,22 @@
+{
+  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
+  "name": "io.github.matematicsolutions/ch-eli-mcp",
+  "description": "MCP server for Swiss federal legislation via Fedlex (native ELI), verifiable citations.",
+  "version": "0.1.0",
+  "repository": {
+    "url": "https://github.com/matematicsolutions/ch-eli-mcp",
+    "source": "github"
+  },
+  "packages": [
+    {
+      "registryType": "pypi",
+      "registryBaseUrl": "https://pypi.org",
+      "identifier": "ch-eli-mcp",
+      "version": "0.1.0",
+      "runtimeHint": "uvx",
+      "transport": {
+        "type": "stdio"
+      }
+    }
+  ]
+}

ch_eli_mcp-0.1.0/src/ch_eli_mcp/__init__.py

@@ -0,0 +1,3 @@
+"""ch-eli-mcp - MCP connector for Swiss federal legislation (Fedlex)."""
+
+__version__ = "0.1.0"

ch_eli_mcp-0.1.0/src/ch_eli_mcp/audit.py

@@ -0,0 +1,94 @@
+"""JSONL audit logger for AI Act art. 12.
+
+Every call to every MCP tool writes one JSON line to:
+
+    ~/.matematic/audit/ch-eli-mcp.jsonl
+
+(or to the directory given by ``CH_ELI_AUDIT_DIR``).
+
+If the write fails, the tool returns an error instead of silently continuing
+(Art. 2 CONSTITUTION.md). Inherited verbatim from the other eu-legal-mcp connectors.
+"""
+
+from __future__ import annotations
+
+import hashlib
+import json
+import os
+import time
+from datetime import UTC, datetime
+from pathlib import Path
+from typing import Any, Literal
+
+Status = Literal["ok", "error"]
+
+_AUDIT_FILENAME = "ch-eli-mcp.jsonl"
+
+
+def _resolve_audit_dir() -> Path:
+    env = os.environ.get("CH_ELI_AUDIT_DIR")
+    if env:
+        return Path(env).expanduser()
+    return Path.home() / ".matematic" / "audit"
+
+
+def hash_input(payload: Any) -> str:
+    """SHA-256 of a stable JSON serialization of the input."""
+    canonical = json.dumps(payload, sort_keys=True, separators=(",", ":"), default=str)
+    return hashlib.sha256(canonical.encode("utf-8")).hexdigest()
+
+
+class AuditLogger:
+    """Append-only JSONL logger."""
+
+    def __init__(self, audit_dir: Path | None = None) -> None:
+        self._dir = (audit_dir or _resolve_audit_dir()).expanduser()
+        self._dir.mkdir(parents=True, exist_ok=True)
+        self._path = self._dir / _AUDIT_FILENAME
+
+    @property
+    def path(self) -> Path:
+        return self._path
+
+    def log(
+        self,
+        *,
+        tool: str,
+        input_hash: str,
+        output_count_or_size: int,
+        duration_ms: int,
+        status: Status,
+        error: str | None = None,
+    ) -> None:
+        record: dict[str, Any] = {
+            "ts": datetime.now(UTC).isoformat(timespec="milliseconds"),
+            "tool": tool,
+            "input_hash": input_hash,
+            "output_count_or_size": output_count_or_size,
+            "duration_ms": duration_ms,
+            "status": status,
+        }
+        if error is not None:
+            record["error"] = error[:500]
+        line = json.dumps(record, ensure_ascii=False, separators=(",", ":")) + "\n"
+        with self._path.open("a", encoding="utf-8") as fh:
+            fh.write(line)
+
+
+class _Timer:
+    """Context-managed timer in milliseconds."""
+
+    def __init__(self) -> None:
+        self._t0 = 0.0
+        self.duration_ms = 0
+
+    def __enter__(self) -> _Timer:
+        self._t0 = time.perf_counter()
+        return self
+
+    def __exit__(self, *_exc: object) -> None:
+        self.duration_ms = int((time.perf_counter() - self._t0) * 1000)
+
+
+def timer() -> _Timer:
+    return _Timer()

ch_eli_mcp-0.1.0/src/ch_eli_mcp/cache.py

@@ -0,0 +1,56 @@
+"""Thin wrapper over diskcache - key is URL, TTL per category.
+
+Inherited verbatim from the other eu-legal-mcp connectors (only env var and dir differ).
+"""
+
+from __future__ import annotations
+
+import os
+from pathlib import Path
+from typing import Any
+
+from diskcache import Cache
+
+DEFAULT_TTL_ACT = 24 * 60 * 60
+DEFAULT_TTL_LIST = 60 * 60
+DEFAULT_TTL_DICT = 7 * 24 * 60 * 60
+DEFAULT_TTL_CHANGES = 5 * 60
+
+
+def _resolve_cache_dir() -> Path:
+    env = os.environ.get("CH_ELI_CACHE_DIR")
+    if env:
+        return Path(env).expanduser()
+    return Path.home() / ".matematic" / "cache" / "ch-eli"
+
+
+class HttpCache:
+    """Caches HTTP responses (already deserialized to dict / str)."""
+
+    def __init__(self, cache_dir: Path | None = None) -> None:
+        self._dir = (cache_dir or _resolve_cache_dir()).expanduser()
+        self._dir.mkdir(parents=True, exist_ok=True)
+        self._cache: Cache = Cache(str(self._dir))
+
+    def get(self, key: str) -> Any:
+        return self._cache.get(key, default=None)
+
+    def set(self, key: str, value: Any, ttl: int) -> None:
+        self._cache.set(key, value, expire=ttl)
+
+    def close(self) -> None:
+        self._cache.close()
+
+    @staticmethod
+    def ttl_for(category: str) -> int:
+        match category:
+            case "act":
+                return DEFAULT_TTL_ACT
+            case "list" | "search":
+                return DEFAULT_TTL_LIST
+            case "dict":
+                return DEFAULT_TTL_DICT
+            case "changes":
+                return DEFAULT_TTL_CHANGES
+            case _:
+                return DEFAULT_TTL_LIST

ch_eli_mcp-0.1.0/src/ch_eli_mcp/citations.py

@@ -0,0 +1,56 @@
+"""Citation contract for ch-eli-mcp.
+
+Fedlex is genuinely ELI-native: every act has a URI of the form
+``https://fedlex.data.admin.ch/eli/cc/{year}/{number}``. The Swiss citation
+convention layered on top is the SR number (Systematische Sammmlung /
+Classified Compilation number, e.g. "101" for the Federal Constitution) -
+we surface both.
+"""
+
+from __future__ import annotations
+
+from typing import Any
+
+from .models import Act, Citation
+
+_LANG_URIS = {
+    "DEU": "de",
+    "FRA": "fr",
+    "ITA": "it",
+    "ENG": "en",
+}
+
+_PUBLIC_BASE = "https://www.fedlex.admin.ch"
+_DATA_BASE = "https://fedlex.data.admin.ch"
+
+
+def lang_uri(lang: str) -> str:
+    """Map a short language code (de/fr/it/en) to the EU authority-table URI Fedlex expects."""
+    code = lang.upper()
+    if code in ("DE", "FR", "IT", "EN"):
+        code = {"DE": "DEU", "FR": "FRA", "IT": "ITA", "EN": "ENG"}[code]
+    if code not in _LANG_URIS:
+        raise ValueError(f"unsupported lang={lang!r}")
+    return f"http://publications.europa.eu/resource/authority/language/{code}"
+
+
+def parse_act(uri: str, lang: str, row: dict[str, Any]) -> Act:
+    def _val(key: str) -> str | None:
+        return row.get(key, {}).get("value")
+
+    return Act(
+        uri=uri,
+        lang=lang,
+        sr_number=_val("sr_number"),
+        title=_val("title"),
+        title_short=_val("title_short"),
+    )
+
+
+def build_citation(a: Act) -> Citation:
+    short_lang = {"DEU": "de", "FRA": "fr", "ITA": "it", "ENG": "en"}.get(a.lang, "en")
+    path = a.uri.replace(_DATA_BASE, "").lstrip("/")
+    source_url = f"{_PUBLIC_BASE}/{path}/{short_lang}"
+    label = a.title_short or a.title or a.uri
+    human = f"{label} (SR {a.sr_number})" if a.sr_number else label
+    return Citation(lex_uri=a.uri, human_readable_citation=human, source_url=source_url)

ch_eli_mcp-0.1.0/src/ch_eli_mcp/client.py

@@ -0,0 +1,111 @@
+"""Async httpx client for the Fedlex SPARQL endpoint (fedlex.data.admin.ch).
+
+Keyless, live Virtuoso SPARQL endpoint over Swiss federal legislation,
+modelled with the JOLux ontology (same family used by Luxembourg's Legilux).
+Fedlex is genuinely ELI-native - the resource URI itself is the ELI.
+
+Note: Virtuoso's ``bif:contains`` full-text extension is disabled on this
+public endpoint ("Illegal requests in query"), unlike the Chilean BCN
+endpoint - full-text search here uses a standard SPARQL ``CONTAINS`` filter,
+which is slower but portable.
+"""
+
+from __future__ import annotations
+
+import anyio
+import httpx
+
+from .cache import HttpCache
+from .citations import lang_uri
+
+DEFAULT_BASE_URL = "https://fedlex.data.admin.ch/sparqlendpoint"
+DEFAULT_TIMEOUT = httpx.Timeout(40.0, connect=10.0)
+USER_AGENT = "ch-eli-mcp/0.1.0 (+https://github.com/matematicsolutions/ch-eli-mcp)"
+
+_RETRY_STATUS = frozenset({429, 500, 502, 503, 504})
+_MAX_ATTEMPTS = 3
+
+_PREFIXES = """\
+PREFIX jolux: <http://data.legilux.public.lu/resource/ontology/jolux#>
+PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
+"""
+
+_SEARCH_QUERY = _PREFIXES + """\
+SELECT DISTINCT ?s ?title ?title_short ?sr_number WHERE {
+  ?s a jolux:ConsolidationAbstract ; jolux:isRealizedBy ?expr .
+  ?expr jolux:language <%s> ; jolux:title ?title .
+  OPTIONAL { ?expr jolux:titleShort ?title_short }
+  OPTIONAL { ?s jolux:classifiedByTaxonomyEntry ?tax . ?tax skos:notation ?sr_number }
+  FILTER(CONTAINS(LCASE(?title), "%s"))
+} LIMIT %d
+"""
+
+_GET_QUERY = _PREFIXES + """\
+SELECT ?title ?title_short ?sr_number WHERE {
+  <%s> jolux:isRealizedBy ?expr .
+  ?expr jolux:language <%s> ; jolux:title ?title .
+  OPTIONAL { ?expr jolux:titleShort ?title_short }
+  OPTIONAL { <%s> jolux:classifiedByTaxonomyEntry ?tax . ?tax skos:notation ?sr_number }
+}
+"""
+
+
+class FedlexClient:
+    """Async client. Use as ``async with FedlexClient() as c: ...``."""
+
+    def __init__(
+        self,
+        base_url: str = DEFAULT_BASE_URL,
+        cache: HttpCache | None = None,
+        timeout: httpx.Timeout = DEFAULT_TIMEOUT,
+    ) -> None:
+        self.base_url = base_url
+        self._cache = cache or HttpCache()
+        self._http = httpx.AsyncClient(
+            timeout=timeout,
+            headers={"User-Agent": USER_AGENT, "Accept": "application/sparql-results+json"},
+        )
+
+    async def __aenter__(self) -> FedlexClient:
+        return self
+
+    async def __aexit__(self, *_exc: object) -> None:
+        await self.aclose()
+
+    async def aclose(self) -> None:
+        await self._http.aclose()
+        self._cache.close()
+
+    async def _query(self, sparql: str, *, category: str) -> list[dict]:
+        cache_key = self.base_url + "?q=" + sparql
+        cached = self._cache.get(cache_key)
+        if cached is not None and isinstance(cached, list):
+            return cached
+        last_exc: Exception | None = None
+        for attempt in range(_MAX_ATTEMPTS):
+            try:
+                resp = await self._http.get(self.base_url, params={"query": sparql})
+                resp.raise_for_status()
+                bindings = resp.json()["results"]["bindings"]
+                self._cache.set(cache_key, bindings, ttl=HttpCache.ttl_for(category))
+                return bindings
+            except httpx.HTTPStatusError as exc:
+                last_exc = exc
+                if exc.response.status_code not in _RETRY_STATUS or attempt == _MAX_ATTEMPTS - 1:
+                    raise
+            except (httpx.TransportError, httpx.TimeoutException) as exc:
+                last_exc = exc
+                if attempt == _MAX_ATTEMPTS - 1:
+                    raise
+            await anyio.sleep(0.5 * (2**attempt))
+        assert last_exc is not None
+        raise last_exc
+
+    async def search(self, query: str, lang: str = "DEU", limit: int = 20) -> list[dict]:
+        needle = query.lower().replace('"', '\\"')
+        sparql = _SEARCH_QUERY % (lang_uri(lang), needle, limit)
+        return await self._query(sparql, category="search")
+
+    async def get_act(self, uri: str, lang: str = "DEU") -> list[dict]:
+        sparql = _GET_QUERY % (uri, lang_uri(lang), uri)
+        return await self._query(sparql, category="act")

ch_eli_mcp-0.1.0/src/ch_eli_mcp/models.py

@@ -0,0 +1,21 @@
+"""Plain dataclasses mirroring the Fedlex jolux ontology (SPARQL query results)."""
+
+from __future__ import annotations
+
+from dataclasses import dataclass
+
+
+@dataclass(frozen=True)
+class Act:
+    uri: str
+    lang: str
+    sr_number: str | None
+    title: str | None
+    title_short: str | None
+
+
+@dataclass(frozen=True)
+class Citation:
+    lex_uri: str
+    human_readable_citation: str
+    source_url: str

ch_eli_mcp-0.1.0/src/ch_eli_mcp/server.py

@@ -0,0 +1,194 @@
+"""FastMCP entry point - Swiss federal legislation (Fedlex) tools.
+
+Run:
+
+    python -m ch_eli_mcp.server
+
+Configuration via env:
+
+- ``CH_ELI_CACHE_DIR`` (default ``~/.matematic/cache/ch-eli``)
+- ``CH_ELI_AUDIT_DIR`` (default ``~/.matematic/audit``)
+- ``CH_ELI_BASE_URL`` (default ``https://fedlex.data.admin.ch/sparqlendpoint``)
+"""
+
+from __future__ import annotations
+
+import dataclasses
+import os
+
+import httpx
+from fastmcp import FastMCP
+from mcp.types import ToolAnnotations
+
+from .audit import AuditLogger, hash_input, timer
+from .citations import build_citation, parse_act
+from .client import DEFAULT_BASE_URL, FedlexClient
+
+INSTRUCTIONS = """\
+This MCP server exposes Fedlex, the Swiss Federal Chancellery's official publication platform for federal legislation. Fedlex is genuinely ELI-native - the resource URI itself is the ELI (European Legislation Identifier), even though Switzerland is not an EU member. Multilingual: German, French, Italian, English.
+
+## Call order
+
+1. `ch_search_acts` - full-text search over act titles in a given `lang` (`"DEU"`, `"FRA"`, `"ITA"`, or `"ENG"`).
+2. `ch_get_act` - full detail for one act by its `uri` (from the search results), including its SR number (Systematische Sammlung / Classified Compilation number - the citation convention used in Swiss legal practice).
+
+## Hard constraints
+
+- **The ELI is the URI itself** - `lex_uri` is never invented, it comes directly from the SPARQL query result.
+- **Every response has `human_readable_citation` + `source_url`** - cite both to the user (e.g. "Bundesverfassung der Schweizerischen Eidgenossenschaft (SR 101)").
+- **No full-text law content** - this connector returns metadata (title, SR number), not the operative articles. Follow `source_url` for that.
+- **Audit log JSONL** - every tool call appends to `~/.matematic/audit/ch-eli-mcp.jsonl`.
+
+## Error iteration
+
+Tools return a structured error with a `[code]` prefix:
+- `invalid_arg` - a parameter is missing, out of range, or an unsupported `lang`.
+- `not_found` - no act exists at that URI.
+- `upstream_error` - a Fedlex SPARQL endpoint error (HTTP, timeout, malformed query). Retry once before surfacing.
+
+## Response style
+
+- Cite acts as `human_readable_citation`: "Bundesverfassung der Schweizerischen Eidgenossenschaft (SR 101)".
+- NEVER invent a URI, SR number, or title - take each from the tool output.
+"""
+
+
+class ToolError(Exception):
+    """Structured error for ch-eli MCP tools - visible to the LLM with a [code] prefix."""
+
+    VALID_CODES = frozenset({"invalid_arg", "not_found", "upstream_error"})
+
+    def __init__(self, code: str, message: str):
+        if code not in self.VALID_CODES:
+            raise ValueError(f"Unknown ToolError code: {code}. Valid: {sorted(self.VALID_CODES)}")
+        self.code = code
+        super().__init__(f"[{code}] {message}")
+
+
+READ_ONLY = ToolAnnotations(
+    readOnlyHint=True,
+    idempotentHint=True,
+    destructiveHint=False,
+    openWorldHint=True,
+)
+
+mcp: FastMCP = FastMCP(name="ch-eli-mcp", instructions=INSTRUCTIONS)
+
+_VALID_LANGS = frozenset({"DEU", "FRA", "ITA", "ENG"})
+
+
+def _base_url() -> str:
+    return os.environ.get("CH_ELI_BASE_URL", DEFAULT_BASE_URL)
+
+
+def _audit() -> AuditLogger:
+    return AuditLogger()
+
+
+def _check_lang(lang: str) -> str:
+    code = lang.upper()
+    if code not in _VALID_LANGS:
+        raise ToolError("invalid_arg", f"lang={lang!r} must be one of {sorted(_VALID_LANGS)}.")
+    return code
+
+
+def _map_upstream(exc: Exception) -> Exception:
+    if isinstance(exc, (httpx.HTTPStatusError, httpx.TransportError, httpx.TimeoutException)):
+        return ToolError("upstream_error", f"Fedlex SPARQL endpoint error: {type(exc).__name__}: {exc}")
+    return exc
+
+
+def _to_dict(a) -> dict:
+    citation = build_citation(a)
+    return {**dataclasses.asdict(a), **dataclasses.asdict(citation)}
+
+
+# ---------------------------------------------------------------------------
+# ch_search_acts
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool(annotations=READ_ONLY)
+async def ch_search_acts(query: str, lang: str = "DEU", limit: int = 20) -> dict:
+    """Full-text search over Swiss federal act titles.
+
+    Args:
+        query: free text, e.g. ``"Datenschutz"``.
+        lang: one of ``"DEU"``, ``"FRA"``, ``"ITA"``, ``"ENG"`` (default ``"DEU"``).
+        limit: max results (default 20).
+
+    Returns:
+        ``{"total": int, "items": [...]}`` - each item carries the citation contract.
+    """
+    audit = _audit()
+    if not query or not query.strip():
+        raise ToolError("invalid_arg", "query must be a non-empty string.")
+    lang = _check_lang(lang)
+    input_hash = hash_input({"query": query, "lang": lang, "limit": limit})
+
+    with timer() as t:
+        try:
+            async with FedlexClient(base_url=_base_url()) as client:
+                rows = await client.search(query, lang, limit)
+        except Exception as exc:
+            audit.log(tool="ch_search_acts", input_hash=input_hash, output_count_or_size=0,
+                      duration_ms=t.duration_ms if t.duration_ms else 0, status="error",
+                      error=f"{type(exc).__name__}: {exc}")
+            raise _map_upstream(exc) from exc
+
+    items = [
+        _to_dict(parse_act(r["s"]["value"], lang, r)) for r in rows
+    ]
+    audit.log(tool="ch_search_acts", input_hash=input_hash, output_count_or_size=len(items),
+              duration_ms=t.duration_ms, status="ok")
+    return {"total": len(items), "items": items}
+
+
+# ---------------------------------------------------------------------------
+# ch_get_act
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool(annotations=READ_ONLY)
+async def ch_get_act(uri: str, lang: str = "DEU") -> dict:
+    """Fetch full detail for one Swiss federal act by its Fedlex ELI URI.
+
+    Args:
+        uri: e.g. ``"https://fedlex.data.admin.ch/eli/cc/1999/404"``.
+        lang: one of ``"DEU"``, ``"FRA"``, ``"ITA"``, ``"ENG"`` (default ``"DEU"``).
+
+    Returns:
+        A dict with ``sr_number``, ``title``, ``title_short``, ``lex_uri``,
+        ``human_readable_citation``, ``source_url``.
+    """
+    audit = _audit()
+    if not uri or not uri.startswith("https://fedlex.data.admin.ch/eli/"):
+        raise ToolError("invalid_arg", "uri must be a https://fedlex.data.admin.ch/eli/... URI.")
+    lang = _check_lang(lang)
+    input_hash = hash_input({"uri": uri, "lang": lang})
+
+    with timer() as t:
+        try:
+            async with FedlexClient(base_url=_base_url()) as client:
+                rows = await client.get_act(uri, lang)
+        except Exception as exc:
+            audit.log(tool="ch_get_act", input_hash=input_hash, output_count_or_size=0,
+                      duration_ms=t.duration_ms if t.duration_ms else 0, status="error",
+                      error=f"{type(exc).__name__}: {exc}")
+            raise _map_upstream(exc) from exc
+
+    if not rows:
+        raise ToolError("not_found", f"No act found at uri={uri!r} for lang={lang!r}.")
+    result = _to_dict(parse_act(uri, lang, rows[0]))
+    audit.log(tool="ch_get_act", input_hash=input_hash, output_count_or_size=1,
+              duration_ms=t.duration_ms, status="ok")
+    return result
+
+
+def main() -> None:
+    """Run the MCP server over stdio (default for Claude Code)."""
+    mcp.run()
+
+
+if __name__ == "__main__":
+    main()

ch_eli_mcp-0.1.0/tests/test_smoke.py

@@ -0,0 +1,28 @@
+"""Live smoke test against the real Fedlex SPARQL endpoint. Network required."""
+
+from __future__ import annotations
+
+import pytest
+
+from ch_eli_mcp.citations import build_citation, parse_act
+from ch_eli_mcp.client import FedlexClient
+
+
+@pytest.mark.asyncio
+async def test_search_and_get_act() -> None:
+    async with FedlexClient() as client:
+        rows = await client.search("Datenschutz", "DEU", limit=3)
+        assert len(rows) == 3
+
+        first = parse_act(rows[0]["s"]["value"], "DEU", rows[0])
+        citation = build_citation(first)
+        assert citation.lex_uri.startswith("https://fedlex.data.admin.ch/eli/")
+        assert citation.source_url.startswith("https://www.fedlex.admin.ch/eli/")
+
+        constitution_uri = "https://fedlex.data.admin.ch/eli/cc/1999/404"
+        detail_rows = await client.get_act(constitution_uri, "DEU")
+        assert detail_rows
+        detail = parse_act(constitution_uri, "DEU", detail_rows[0])
+        detail_citation = build_citation(detail)
+        assert detail.sr_number == "101"
+        assert detail_citation.human_readable_citation == "BV (SR 101)"