io.github.matematicsolutions/sk-eli-mcp
MCP server for Slovak legislation (Slov-lex) with ELI and verifiable citations.
Open source Open in the app JSON README (API)
About
MCP server for Slovak legislation (Slov-lex) with ELI and verifiable citations.
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:58:03Z
- 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/sk-eli-mcp
README
# sk-eli-mcp
<!-- mcp-name: io.github.matematicsolutions/sk-eli-mcp -->
An MCP server for the Slovak **Collection of Laws** (Zbierka zákonov) via **static.slov-lex.sk**,
the JavaScript-free static mirror of the Slov-lex portal. It fetches Slovak legislation and its
consolidated versions, with verifiable citations.
Part of the MateMatic `eu-legal-mcp` production line - after PL, DE, AT, ES, FI, IE, NL, SE, FR,
LU, DK, CZ, HR and LT. Same citation contract, Slov-lex source. Slovakia implements ELI (Pillar I).
> **Scope.** This MVP lists an act's consolidated versions, returns metadata, and fetches the full
> text of a version. Acts are addressed by year + number; the portal is path-based, not keyword
> search. Coverage 1918-present. Language: Slovak. Every response carries a `dataset_note`.
>
> **ELI is national (Pillar I), not data.europa.eu.** The static pages carry no machine-readable
> ELI metadata, so `eli_uri` is the canonical Slov-lex URL
> (`slov-lex.sk/pravne-predpisy/SK/ZZ/{year}/{number}`), the stable national identifier. Full text
> is served from the `static.slov-lex.sk` mirror (`source_url`). Every response carries an
> `eli_note`.
>
> **Text is extracted from the official HTML.** Slov-lex serves the consolidated text as HTML;
> `sk_get_text` extracts the plain text from the act container.
## The tools
| Tool | What it does |
|---|---|
| `sk_get_versions` | List an act's consolidated versions (effective dates, amending act). |
| `sk_get_act` | Metadata for an act by year + number, plus the current in-force version. |
| `sk_get_text` | Full text of an act version (default: the current in-force version). |
| `sk_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 the contract: `eli_uri` (the Slov-lex URL, e.g.
`https://www.slov-lex.sk/pravne-predpisy/SK/ZZ/2018/18/`), `human_readable_citation`
(e.g. `č. 18/2018 Z. z.`), and `source_url`.
## Install
Run it with no install step (once published to PyPI):
```bash
uvx sk-eli-mcp
```
Or from source:
```bash
cd sk-eli-mcp
pip install -e .
```
## Configure (Claude Code / any MCP client)
```json
{
"mcpServers": {
"sk-eli-mcp": { "command": "sk-eli-mcp" }
}
}
```
### Windows 11 with Smart App Control
Smart App Control blocks unsigned executables, which covers `uvx.exe`, `pip.exe`
and the `sk-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 sk-eli-mcp
python -m sk_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 sk_eli_mcp`.
```json
{ "mcpServers": { "sk-eli-mcp": { "command": "python", "args": ["-m", "sk_eli_mcp"] } } }
```
Do not turn Smart App Control off to work around this - it cannot be re-enabled
without reinstalling Windows.
Environment:
- `SK_ELI_BASE_URL` - default `https://static.slov-lex.sk`
- `SK_ELI_CACHE_DIR` - default `~/.matematic/cache/sk-eli`
- `SK_ELI_AUDIT_DIR` - default `~/.matematic/audit`
No API key. The Slov-lex static mirror is keyless.
## Governance
- **Public data only** - read-only against Slov-lex; no client data leaves the machine.
- **Audit log** - every tool call appends one JSON line to `~/.matematic/audit/sk-eli-mcp.jsonl`.
- **Vendor-neutral** - talks only to `static.slov-lex.sk`; no LLM provider, no telemetry.
- **Verifiable citations** - every response is independently checkable via `source_url`.
See `CONSTITUTION.md` and `DISCOVERY.md`.
## Tests
```bash
pip install -e ".[dev]"
pytest tests/test_instructions_drift.py tests/test_parse.py -v # offline
pytest tests/test_smoke.py -v # hits live Slov-lex
```
## Licence
Apache-2.0. © Matematic Solutions / Wieslaw Mazur.