io.github.matematicsolutions/co-eli-mcp
MCP server for Colombian Constitutional Court case law (datos.gov.co), citation verification.
Open source Open in the app JSON README (API)
About
MCP server for Colombian Constitutional Court case law (datos.gov.co), citation verification.
Details
- Kind
- MCP servers
- Topic
- Government & public data
- Publisher
- matematicsolutions
- Origin
- official
- Category
- ferramentas
- Transport
- local
- Version
- 0.3.3
- Last push
- 2026-08-24T13:55:27Z
- Repository state
- ativo
- Language
- Python
- License
- Apache-2.0
- Added
- 2026-08-29 04:00:29
- Updated
- 2026-08-29 04:00:29
- Origin id
io.github.matematicsolutions/co-eli-mcp
README
# 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 |
| `co_coverage` | Declare what this connector covers, when each family was captured, and - explicitly - what it does NOT cover. Every gap carries a fallback. |
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
```
### Windows 11 with Smart App Control
Smart App Control blocks unsigned executables, which covers `uvx.exe`, `pip.exe`
and the `co-eli-mcp.exe` launcher that pip writes at install time. The `python.exe` and
`py.exe` from the python.org installer are signed by the Python Software
Foundation, so running the module through the interpreter works:
```bash
python -m pip install co-eli-mcp
python -m co_eli_mcp
```
`pip.exe` is blocked for the same reason, so install with `python -m pip`, not
`pip install`. If `python` is not on PATH, use the Windows launcher: `py -3 -m co_eli_mcp`.
```json
{ "mcpServers": { "co-eli-mcp": { "command": "python", "args": ["-m", "co_eli_mcp"] } } }
```
Do not turn Smart App Control off to work around this - it cannot be re-enabled
without reinstalling Windows.
## 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)).