Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Beschreibung vom Entwickler (englisches Original)
MCP server for Danish legislation (Retsinformation) with native ELI and verifiable citations.
Diese drei werden nie zu einer Punktzahl zusammengefasst: Meinungen, Messungen und Beliebtheit sind verschiedene Dinge.
Für diesen Server haben wir noch keine Zusammenfassung in einfacher Sprache geschrieben. Unten stehen die Fakten, die wir aus der Registry gelesen haben.
Wähle die KI-App, die du nutzt, und kopiere die Einstellungen.
Du brauchst
Welche App nutzt du?
Wähle oben deine App. Wir merken sie uns, damit der Button beim nächsten Mal „In … installieren“ anzeigt.
Öffne Claude Desktop → Settings → Developer → Edit Config und füge dies in claude_desktop_config.json ein
{
"mcpServers": {
"dk-eli": {
"command": "uvx",
"args": [
"dk-eli-mcp"
]
}
}
}Führe das in deinem Terminal aus
claude mcp add dk-eli -- uvx dk-eli-mcpIn .cursor/mcp.json in deinem Projekt oder in ~/.cursor/mcp.json einfügen
{
"mcpServers": {
"dk-eli": {
"command": "uvx",
"args": [
"dk-eli-mcp"
]
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
In .vscode/mcp.json in deinem Projekt einfügen
{
"servers": {
"dk-eli": {
"type": "stdio",
"command": "uvx",
"args": [
"dk-eli-mcp"
]
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
Dieser Server läuft auf deinem Computer, und ChatGPT kann sich nur mit Servern im Internet verbinden. Wähle eine andere App.
Deine Auswahl bleibt in einem Cookie auf diesem Gerät; kein Konto nötig.
Diese Einstellungen werden aus dem Registry-Eintrag des Entwicklers erzeugt. Wenn in der README etwas anderes steht, folge der README.
Läuft auf deinem Computer; die Tool-Liste erscheint nach der Installation in deiner KI-App.
Wir prüfen Informationen, die jeder sehen kann; den Code haben wir nicht gelesen. Checks, die nicht zutreffen, werden nicht mitgezählt. · Geprüft am 7. Nov. 2026
Der Registry-Name wurde mit dem GitHub-Konto matematicsolutions bestätigt, dem das Repo gehört
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieser Server läuft auf deinem Computer; es gibt keinen Endpunkt im Internet
Läuft auf deinem Computer und nutzt stattdessen lokale Einstellungen
Läuft auf deinem Computer; Tool-Listen können wir nur von Endpunkten im Internet lesen
Verglichen mit allen aktiven Servern dieser Kategorie in der Registry. Sterne zählen nur, wenn dem Herausgeber das Repo gehört.
Er hat 1 von 1 zutreffenden Basischecks bestanden. Den Code haben wir nicht gelesen. Bevor du einen Schlüssel oder Token hinzufügst, sieh nach, welche Zugriffe der Server verlangt, und nutze einen Schlüssel, der nur die Berechtigungen hat, die du brauchst.
Die Registry nennt keinen erforderlichen Schlüssel, manche Server bitten dich aber bei der ersten Nutzung, dich anzumelden.
Er läuft auf deinem Computer. Deine KI-App startet ihn bei Bedarf, und die Daten laufen nicht über die Server des Entwicklers (außer der Server ruft selbst einen Onlinedienst auf).
Das GitHub-Repo wurde zuletzt – geändert, und die neueste Version (0.3.3) kam vor 2 Monaten in die Registry.
Apps, die MCP unterstützen, etwa Claude Desktop, Claude Code, Cursor und VS Code. Außerdem brauchst du Python (uv) auf deinem Computer.
In derselben Kategorie: Spec Driven Development, Remote Desktop Commander, FactLot
Server derselben Kategorie von anderen Entwicklern, sortiert nach Sternen.
So liest du eine Karte:★ GitHub-SterneiDrei Säulen: Bewertungen · Checks · NutzungiAktualisiert = neueste Version in der Registry veröffentlichti
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Cited CRE facts and deterministic calculators for agents: rent, CAM, debt sizing, IRR, parcel IDs.
Unverändert aus dem Repo des Entwicklers übernommen. PopNx MCP hat den Inhalt weder geprüft noch empfiehlt es ihn. HTML, Bilder und Skripte wurden entfernt. Links führen von dieser Website weg.
An MCP server for the Danish Retsinformation legal database (retsinformation.dk). It fetches Danish legislation as LexDania 2.1 XML behind native ELI URIs, with verifiable citations.
Part of the MateMatic eu-legal-mcp production line - after PL, DE, AT, ES, FI, IE, NL, SE, FR and LU. Same citation contract, Retsinformation source. Denmark is ELI-native: every document has a stable data.europa.eu/eli-typed identifier exposed as a retsinformation.dk/eli/... URL.
Scope. This MVP grounds Danish documents by ELI coordinate (
year+numberin thelta
collection = Lovtidende A) or by accession number, and lists documents changed on a date. The
API is path-based, not keyword search. It covers laws (LOV), consolidated laws (LBK), executive
orders (BEK), circulars (CIR) and guidelines (VEJ). Language: Danish. Every response carries a
dataset_note.
Licence of the data. Danish legislation in Retsinformation is official public information
published as Open Data (keyless). This connector relays it with attribution and a
source_url.
| Tool | What it does |
|---|---|
dk_get_act | Metadata for a document by year + number, or by accession. |
dk_get_text | Full LexDania XML of a document (verbatim official text). |
dk_recent_changes | Documents changed on a given date (harvest API). |
dk_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 (a full ELI URL, e.g. https://www.retsinformation.dk/eli/lta/2018/502), human_readable_citation (e.g. Databeskyttelsesloven (LOV nr. 502 af 23/05/2018)), and source_url.
Run it with no install step (once published to PyPI):
uvx dk-eli-mcp
Or from source:
cd dk-eli-mcp
pip install -e .
{
"mcpServers": { "dk-eli-mcp": { "command": "dk-eli-mcp" } } }
Smart App Control blocks unsigned executables, which covers uvx.exe, pip.exe and the dk-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:
python -m pip install dk-eli-mcp
python -m dk_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 dk_eli_mcp.
{ "mcpServers": { "dk-eli-mcp": { "command": "python", "args": ["-m", "dk_eli_mcp"] } } }
Do not turn Smart App Control off to work around this - it cannot be re-enabled without reinstalling Windows.
Environment:
DK_ELI_BASE_URL - default https://www.retsinformation.dkDK_ELI_API_URL - default https://api.retsinformation.dk (harvest API)DK_ELI_CACHE_DIR - default ~/.matematic/cache/dk-eliDK_ELI_AUDIT_DIR - default ~/.matematic/auditNo API key. Retsinformation open data is keyless.
The harvest API behind
dk_recent_changesis only available 03:00-23:45 Danish time. Outside
that window the tool returns an
upstream_error; an empty list during the window means nothing
changed on that date.
~/.matematic/audit/dk-eli-mcp.jsonl.retsinformation.dk; no LLM provider, no telemetry.source_url.See CONSTITUTION.md and DISCOVERY.md.
pip install -e ".[dev]"
pytest tests/test_instructions_drift.py tests/test_parse.py -v # offline pytest tests/test_smoke.py -v # hits live Retsinformation
Apache-2.0. © Matematic Solutions / Wieslaw Mazur.