co-eli-mcp 0.1.0__tar.gz

co_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

co_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.

co_eli_mcp-0.1.0/DISCOVERY.md

@@ -0,0 +1,26 @@
+# Discovery notes - Colombia
+
+Date: 2026-07-06.
+
+## Why Corte Constitucional metadata, not full text
+
+An earlier regional sweep of Latin American sources ranked Colombia highest
+by ROI outside Brazil and the US: highest lawyers-per-capita ratio in the
+world (~425,000 lawyers, 801 per 100,000 people) and a confirmed
+machine-readable, keyless dataset via the national open-data portal
+(datos.gov.co, Socrata).
+
+The dataset only carries metadata, not full decision text. That is enough
+for a citation-verification tool - "does T-012/92 exist, who wrote it, when"
+- which is a genuinely useful anti-hallucination check, in the same spirit as
+`citation-grounding-pl`. Fetching full text would mean scraping
+`corteconstitucional.gov.co/relatoria/...` HTML pages, a different (and more
+fragile) class of connector than the rest of this fleet - not built here.
+
+## SUIN-Juriscol (legislation) - not covered
+
+SUIN-Juriscol (`suin-juriscol.gov.co`) indexes Colombian legislation but is
+primarily an HTML search interface. Colombia does publish some legislative
+data through datos.gov.co too, but that was not probed in this pass - a
+natural v0.2 feature for this repo if it turns out to be structured data
+rather than another HTML-only search.

co_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.

co_eli_mcp-0.1.0/PKG-INFO

@@ -0,0 +1,75 @@
+Metadata-Version: 2.4
+Name: co-eli-mcp
+Version: 0.1.0
+Summary: MCP server for Colombian Constitutional Court decisions (datos.gov.co) - citation verification and metadata.
+Project-URL: Repository, https://github.com/matematicsolutions/co-eli-mcp
+Project-URL: Issues, https://github.com/matematicsolutions/co-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: colombia,corte-constitucional,law,legaltech,mcp
+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
+
+# co-eli-mcp
+
+<!-- mcp-name: io.github.matematicsolutions/co-eli-mcp -->
+
+MCP server for the datos.gov.co open-data record of decisions (sentencias) by
+the Colombian Constitutional Court (Corte Constitucional). Verifies whether a
+citation exists and returns its metadata.
+
+## What this is not
+
+This dataset (`v2k4-2t8s`, "Sentencias proferidas por la Corte Constitucional")
+has no full-text field - only metadata: proceso, expediente, magistrado
+ponente, sala, and date. `source_url` points to the public relatoria page
+where the full decision text lives, but this connector does not fetch it.
+
+## Tools
+
+| Tool | Purpose |
+|---|---|
+| `co_search_sentencias` | Free-text search (e.g. by magistrado name or proceso type) |
+| `co_get_sentencia` | Exact lookup by citation, e.g. `"T-012/92"` - verifies it exists |
+
+Every response carries `lex_uri` and `source_url` (the public
+corteconstitucional.gov.co relatoria page) and `human_readable_citation`
+(the citation itself, e.g. `"T-012/92"` - already the form used in practice,
+so no separate identifier scheme is needed here).
+
+## Install
+
+```bash
+pip install co-eli-mcp
+```
+
+## Configuration
+
+| Env var | Default |
+|---|---|
+| `CO_ELI_CACHE_DIR` | `~/.matematic/cache/co-eli` |
+| `CO_ELI_AUDIT_DIR` | `~/.matematic/audit` |
+| `CO_ELI_BASE_URL` | `https://www.datos.gov.co/resource/v2k4-2t8s.json` |
+
+## License
+
+Apache-2.0 (code). datos.gov.co data is open data (see [SOURCES.md](SOURCES.md)).

co_eli_mcp-0.1.0/README.md

@@ -0,0 +1,44 @@
+# co-eli-mcp
+
+<!-- mcp-name: io.github.matematicsolutions/co-eli-mcp -->
+
+MCP server for the datos.gov.co open-data record of decisions (sentencias) by
+the Colombian Constitutional Court (Corte Constitucional). Verifies whether a
+citation exists and returns its metadata.
+
+## What this is not
+
+This dataset (`v2k4-2t8s`, "Sentencias proferidas por la Corte Constitucional")
+has no full-text field - only metadata: proceso, expediente, magistrado
+ponente, sala, and date. `source_url` points to the public relatoria page
+where the full decision text lives, but this connector does not fetch it.
+
+## Tools
+
+| Tool | Purpose |
+|---|---|
+| `co_search_sentencias` | Free-text search (e.g. by magistrado name or proceso type) |
+| `co_get_sentencia` | Exact lookup by citation, e.g. `"T-012/92"` - verifies it exists |
+
+Every response carries `lex_uri` and `source_url` (the public
+corteconstitucional.gov.co relatoria page) and `human_readable_citation`
+(the citation itself, e.g. `"T-012/92"` - already the form used in practice,
+so no separate identifier scheme is needed here).
+
+## Install
+
+```bash
+pip install co-eli-mcp
+```
+
+## Configuration
+
+| Env var | Default |
+|---|---|
+| `CO_ELI_CACHE_DIR` | `~/.matematic/cache/co-eli` |
+| `CO_ELI_AUDIT_DIR` | `~/.matematic/audit` |
+| `CO_ELI_BASE_URL` | `https://www.datos.gov.co/resource/v2k4-2t8s.json` |
+
+## License
+
+Apache-2.0 (code). datos.gov.co data is open data (see [SOURCES.md](SOURCES.md)).

co_eli_mcp-0.1.0/SOURCES.md

@@ -0,0 +1,20 @@
+# Sources
+
+## datos.gov.co - Sentencias proferidas por la Corte Constitucional (`v2k4-2t8s`)
+
+- **Origin**: Corte Constitucional de Colombia, published via the national
+  open-data portal (Socrata).
+- **License**: open data.
+- **Access**: keyless REST (Socrata SoQL), JSON.
+- **Coverage**: all decisions from 1992 to the present, updated monthly per
+  the dataset description. Metadata only - proceso, expediente, magistrado
+  ponente, sala, sentencia citation, date. No full-text field.
+- **Confirmed live** 2026-07-06: `$where=sentencia='T-012/92'` (exact lookup)
+  and `$q=<text>` (free-text search) both work as documented.
+
+## Public full-text source (not fetched by this connector)
+
+`corteconstitucional.gov.co/relatoria/{year}/{TYPE}-{NUMBER}-{YY}.htm` serves
+the full decision as HTML. Confirmed reachable (HTTP 200) for a 1992 citation.
+Year in the URL path is the full 4-digit year (from `fecha_sentencia`), not
+the 2-digit year suffix in the citation string itself.

co_eli_mcp-0.1.0/glama.json

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

co_eli_mcp-0.1.0/pyproject.toml

@@ -0,0 +1,65 @@
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[project]
+name = "co-eli-mcp"
+version = "0.1.0"
+description = "MCP server for Colombian Constitutional Court decisions (datos.gov.co) - citation verification and metadata."
+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", "colombia", "corte-constitucional", "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/co-eli-mcp"
+Issues = "https://github.com/matematicsolutions/co-eli-mcp/issues"
+Homepage = "https://matematic.co"
+
+[project.scripts]
+co-eli-mcp = "co_eli_mcp.server:main"
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/co_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/co_eli_mcp/server.py" = ["E501"]
+
+[tool.pytest.ini_options]
+asyncio_mode = "auto"
+testpaths = ["tests"]

co_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/co-eli-mcp",
+  "description": "MCP server for Colombian Constitutional Court case law (datos.gov.co), citation verification.",
+  "version": "0.1.0",
+  "repository": {
+    "url": "https://github.com/matematicsolutions/co-eli-mcp",
+    "source": "github"
+  },
+  "packages": [
+    {
+      "registryType": "pypi",
+      "registryBaseUrl": "https://pypi.org",
+      "identifier": "co-eli-mcp",
+      "version": "0.1.0",
+      "runtimeHint": "uvx",
+      "transport": {
+        "type": "stdio"
+      }
+    }
+  ]
+}

co_eli_mcp-0.1.0/src/co_eli_mcp/__init__.py

@@ -0,0 +1,3 @@
+"""co-eli-mcp - MCP connector for Colombian Constitutional Court decisions."""
+
+__version__ = "0.1.0"

co_eli_mcp-0.1.0/src/co_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/co-eli-mcp.jsonl
+
+(or to the directory given by ``CO_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 = "co-eli-mcp.jsonl"
+
+
+def _resolve_audit_dir() -> Path:
+    env = os.environ.get("CO_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()

co_eli_mcp-0.1.0/src/co_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("CO_ELI_CACHE_DIR")
+    if env:
+        return Path(env).expanduser()
+    return Path.home() / ".matematic" / "cache" / "co-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

co_eli_mcp-0.1.0/src/co_eli_mcp/citations.py

@@ -0,0 +1,35 @@
+"""Citation contract for co-eli-mcp.
+
+Colombia has no ELI/ECLI-style identifier for Corte Constitucional decisions.
+The citation itself (e.g. "T-012/92") already IS the human-readable form used
+in practice; we derive the public relatoria URL from it plus the full year
+(the sentencia string only carries a 2-digit year, so we take the 4-digit
+year from `fecha_sentencia` instead of guessing a century).
+"""
+
+from __future__ import annotations
+
+from typing import Any
+
+from .models import Citation, Sentencia
+
+_RELATORIA_URL = "https://www.corteconstitucional.gov.co/relatoria/{year}/{slug}.htm"
+
+
+def parse_sentencia(raw: dict[str, Any]) -> Sentencia:
+    return Sentencia(
+        proceso=raw.get("proceso"),
+        expediente_tipo=raw.get("expediente_tipo"),
+        expediente_numero=raw.get("expediente_numero"),
+        magistrado_ponente=raw.get("magistrado_a"),
+        sala=raw.get("sala"),
+        sentencia=raw["sentencia"],
+        fecha_sentencia=raw.get("fecha_sentencia"),
+    )
+
+
+def build_citation(s: Sentencia) -> Citation:
+    slug = s.sentencia.replace("/", "-")
+    year = s.fecha_sentencia[:4] if s.fecha_sentencia else "19" + s.sentencia.split("/")[-1]
+    source_url = _RELATORIA_URL.format(year=year, slug=slug)
+    return Citation(lex_uri=source_url, human_readable_citation=s.sentencia, source_url=source_url)

co_eli_mcp-0.1.0/src/co_eli_mcp/client.py

@@ -0,0 +1,80 @@
+"""Async httpx client for the Colombian open-data Socrata portal (datos.gov.co).
+
+Keyless, JSON, dataset "Sentencias proferidas por la Corte Constitucional"
+(resource id v2k4-2t8s). Metadata only - no full-text field in this dataset.
+"""
+
+from __future__ import annotations
+
+import anyio
+import httpx
+
+from .cache import HttpCache
+
+DEFAULT_BASE_URL = "https://www.datos.gov.co/resource/v2k4-2t8s.json"
+DEFAULT_TIMEOUT = httpx.Timeout(40.0, connect=10.0)
+USER_AGENT = "co-eli-mcp/0.1.0 (+https://github.com/matematicsolutions/co-eli-mcp)"
+
+_RETRY_STATUS = frozenset({429, 500, 502, 503, 504})
+_MAX_ATTEMPTS = 3
+
+
+class DatosGovClient:
+    """Async client. Use as ``async with DatosGovClient() 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/json"},
+        )
+
+    async def __aenter__(self) -> DatosGovClient:
+        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 _get_json(self, params: dict[str, str], *, category: str) -> list[dict]:
+        cache_key = self.base_url + "?" + "&".join(f"{k}={v}" for k, v in sorted(params.items()))
+        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=params)
+                resp.raise_for_status()
+                data = resp.json()
+                self._cache.set(cache_key, data, ttl=HttpCache.ttl_for(category))
+                return data
+            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, limit: int = 20) -> list[dict]:
+        return await self._get_json({"$q": query, "$limit": str(limit)}, category="search")
+
+    async def get_by_sentencia(self, sentencia: str) -> list[dict]:
+        escaped = sentencia.replace("'", "''")
+        return await self._get_json(
+            {"$where": f"sentencia='{escaped}'"}, category="act"
+        )

co_eli_mcp-0.1.0/src/co_eli_mcp/models.py

@@ -0,0 +1,23 @@
+"""Plain dataclasses mirroring the datos.gov.co Socrata dataset row shape."""
+
+from __future__ import annotations
+
+from dataclasses import dataclass
+
+
+@dataclass(frozen=True)
+class Sentencia:
+    proceso: str | None
+    expediente_tipo: str | None
+    expediente_numero: str | None
+    magistrado_ponente: str | None
+    sala: str | None
+    sentencia: str
+    fecha_sentencia: str | None
+
+
+@dataclass(frozen=True)
+class Citation:
+    lex_uri: str
+    human_readable_citation: str
+    source_url: str

co_eli_mcp-0.1.0/src/co_eli_mcp/server.py

@@ -0,0 +1,179 @@
+"""FastMCP entry point - Colombian Constitutional Court (Corte Constitucional) tools.
+
+Run:
+
+    python -m co_eli_mcp.server
+
+Configuration via env:
+
+- ``CO_ELI_CACHE_DIR`` (default ``~/.matematic/cache/co-eli``)
+- ``CO_ELI_AUDIT_DIR`` (default ``~/.matematic/audit``)
+- ``CO_ELI_BASE_URL`` (default ``https://www.datos.gov.co/resource/v2k4-2t8s.json``)
+"""
+
+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_sentencia
+from .client import DEFAULT_BASE_URL, DatosGovClient
+
+INSTRUCTIONS = """\
+This MCP server exposes the datos.gov.co open-data record of decisions (sentencias) by the Colombian Constitutional Court (Corte Constitucional). It verifies whether a citation exists and gives its metadata - it does not fetch full decision text (this dataset has no full-text field).
+
+## Call order
+
+1. `co_search_sentencias` - free-text search (e.g. by keyword in `magistrado_a` or `proceso`).
+2. `co_get_sentencia` - exact lookup by citation, e.g. `"T-012/92"`. Use this to verify a citation actually exists before trusting it (anti-hallucination check, similar in spirit to citation-grounding-pl).
+
+## Hard constraints
+
+- **No full-text retrieval** - only metadata (proceso, expediente, magistrado ponente, sala, fecha). The `source_url` points to the public Corte Constitucional relatoria page where the full text lives.
+- **Every response has `human_readable_citation` + `source_url`** - cite both to the user.
+- **Audit log JSONL** - every tool call appends to `~/.matematic/audit/co-eli-mcp.jsonl`.
+
+## Error iteration
+
+Tools return a structured error with a `[code]` prefix:
+- `invalid_arg` - a parameter is missing or malformed.
+- `not_found` - no sentencia matches that exact citation.
+- `upstream_error` - a datos.gov.co API error (HTTP, timeout). Retry once before surfacing.
+
+## Response style
+
+- Cite decisions as `human_readable_citation`: "T-012/92".
+- NEVER invent a sentencia citation, magistrado name or date - take each from the tool output. If `co_get_sentencia` returns `not_found`, say so plainly instead of guessing.
+"""
+
+
+class ToolError(Exception):
+    """Structured error for co-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="co-eli-mcp", instructions=INSTRUCTIONS)
+
+
+def _base_url() -> str:
+    return os.environ.get("CO_ELI_BASE_URL", DEFAULT_BASE_URL)
+
+
+def _audit() -> AuditLogger:
+    return AuditLogger()
+
+
+def _map_upstream(exc: Exception) -> Exception:
+    if isinstance(exc, (httpx.HTTPStatusError, httpx.TransportError, httpx.TimeoutException)):
+        return ToolError("upstream_error", f"datos.gov.co API error: {type(exc).__name__}: {exc}")
+    return exc
+
+
+def _to_dict(s) -> dict:
+    citation = build_citation(s)
+    return {**dataclasses.asdict(s), **dataclasses.asdict(citation)}
+
+
+# ---------------------------------------------------------------------------
+# co_search_sentencias
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool(annotations=READ_ONLY)
+async def co_search_sentencias(query: str, limit: int = 20) -> dict:
+    """Free-text search over Corte Constitucional decision metadata.
+
+    Args:
+        query: free text (e.g. part of a magistrado's name, or "tutela").
+        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.")
+    input_hash = hash_input({"query": query, "limit": limit})
+
+    with timer() as t:
+        try:
+            async with DatosGovClient(base_url=_base_url()) as client:
+                raw_items = await client.search(query, limit)
+        except Exception as exc:
+            audit.log(tool="co_search_sentencias", 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_sentencia(r)) for r in raw_items]
+    audit.log(tool="co_search_sentencias", input_hash=input_hash, output_count_or_size=len(items),
+              duration_ms=t.duration_ms, status="ok")
+    return {"total": len(items), "items": items}
+
+
+# ---------------------------------------------------------------------------
+# co_get_sentencia
+# ---------------------------------------------------------------------------
+
+
+@mcp.tool(annotations=READ_ONLY)
+async def co_get_sentencia(sentencia: str) -> dict:
+    """Verify a Corte Constitucional citation and fetch its metadata.
+
+    Args:
+        sentencia: exact citation, e.g. ``"T-012/92"``.
+
+    Returns:
+        A dict with ``proceso``, ``expediente_tipo``, ``expediente_numero``,
+        ``magistrado_ponente``, ``sala``, ``sentencia``, ``fecha_sentencia``,
+        ``lex_uri``, ``human_readable_citation``, ``source_url``.
+    """
+    audit = _audit()
+    if not sentencia or not sentencia.strip():
+        raise ToolError("invalid_arg", "sentencia must be a non-empty string, e.g. 'T-012/92'.")
+    input_hash = hash_input({"sentencia": sentencia})
+
+    with timer() as t:
+        try:
+            async with DatosGovClient(base_url=_base_url()) as client:
+                raw_items = await client.get_by_sentencia(sentencia)
+        except Exception as exc:
+            audit.log(tool="co_get_sentencia", 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 raw_items:
+        raise ToolError("not_found", f"No sentencia matching {sentencia!r} in Corte Constitucional records.")
+    result = _to_dict(parse_sentencia(raw_items[0]))
+    audit.log(tool="co_get_sentencia", 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()

co_eli_mcp-0.1.0/tests/test_smoke.py

@@ -0,0 +1,25 @@
+"""Live smoke test against the real datos.gov.co API. Network required."""
+
+from __future__ import annotations
+
+import pytest
+
+from co_eli_mcp.citations import build_citation, parse_sentencia
+from co_eli_mcp.client import DatosGovClient
+
+
+@pytest.mark.asyncio
+async def test_get_and_search_sentencia() -> None:
+    async with DatosGovClient() as client:
+        items = await client.get_by_sentencia("T-012/92")
+        assert len(items) == 1
+
+        s = parse_sentencia(items[0])
+        citation = build_citation(s)
+        assert citation.human_readable_citation == "T-012/92"
+        assert citation.source_url == (
+            "https://www.corteconstitucional.gov.co/relatoria/1992/T-012-92.htm"
+        )
+
+        results = await client.search("tutela", limit=2)
+        assert len(results) == 2