Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Beschreibung vom Entwickler (englisches Original)
MCP server for Austrian RIS federal legislation: ELI identifiers 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": {
"at-eli": {
"command": "uvx",
"args": [
"at-eli-mcp"
]
}
}
}Führe das in deinem Terminal aus
claude mcp add at-eli -- uvx at-eli-mcpIn .cursor/mcp.json in deinem Projekt oder in ~/.cursor/mcp.json einfügen
{
"mcpServers": {
"at-eli": {
"command": "uvx",
"args": [
"at-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": {
"at-eli": {
"type": "stdio",
"command": "uvx",
"args": [
"at-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.4.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, Systemdox
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.
Your architecture in your agents' context: checks, specs, ADRs and docs over MCP, at write time.
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.
As a Claude plugin (Claude Code or the desktop app, needs uv); see plugin/README.md for what it sends and stores:
/plugin marketplace add matematicsolutions/at-eli-mcp
/plugin install at-eli-mcp@at-eli-mcp
Published on PyPI + MCP Registry (io.github.matematicsolutions/at-eli-mcp). Run without cloning:
uvx at-eli-mcp
Configure your MCP client (stdio):
{ "mcpServers": { "at-eli-mcp": { "command": "uvx", "args": ["at-eli-mcp"] } } }
Smart App Control blocks unsigned executables, which covers uvx.exe, pip.exe and the at-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 at-eli-mcp
python -m at_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 at_eli_mcp.
{ "mcpServers": { "at-eli-mcp": { "command": "python", "args": ["-m", "at_eli_mcp"] } } }
Do not turn Smart App Control off to work around this - it cannot be re-enabled without reinstalling Windows.
Building from source: see Install.
An MCP server for RIS (data.bka.gv.at), Austria's official legal information system (Rechtsinformationssystem des Bundes, operated by the Bundeskanzleramt). It searches and retrieves Austrian federal legislation (Bundesrecht) and case law (Judikatur) with verifiable ELI identifiers, native ECLI for decisions, and Austrian citations.
Part of the MateMatic eu-legal-mcp production line - the Austrian member, after the Polish sejm-eli-mcp and the German de-eli-mcp. Same architecture and citation contract, RIS source.
Scope. Covers Austrian federal law (Bundesrecht) and case law (Judikatur, with a
native ECLI). State law (Landesrecht) is a later feature. Every response carries a
dataset_note.
Licence. Austrian Bundesgesetzblatt content and statutes are official works in the public
domain; RIS is published as Open Government Data (keyless). This connector relays that public
content with attribution and a
source_url.
| Tool | What it does |
|---|---|
at_search | Search federal law (GET /Bundesrecht) by free text and/or title. |
at_get_text | Fetch an act's full text (html or xml) from a hit's content URL. |
at_case_search | Search case law (GET /Judikatur) by free text, choosing a court (applikation). Hits carry a native ecli. |
at_get_case_text | Fetch a decision's full text from a case hit's content URL. |
at_list_collections | List the RIS collections and which are exposed. |
at_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.ris.bka.gv.at/eli/bgbl/I/2026/6/20260218), human_readable_citation (e.g. Datenschutzgesetz, BGBl. I Nr. 165/1999), and source_url.
cd at-eli-mcp
pip install -e .
{
"mcpServers": { "at-eli-mcp": { "command": "at-eli-mcp" } } }
Environment:
AT_ELI_BASE_URL - default https://data.bka.gv.at/ris/api/v2.6AT_ELI_CACHE_DIR - default ~/.matematic/cache/at-eliAT_ELI_AUDIT_DIR - default ~/.matematic/auditNo API key. RIS is keyless Open Government Data.
~/.matematic/audit/at-eli-mcp.jsonl.at-runtime.json.gz, updated source addresses) from this repository's GitHub Releases. That request carries no query content; GitHub's download counter for the file is the only usage signal we see. AT_ELI_RUNTIME_URL="" turns it off; the Claude plugin ships with it off. No LLM provider, no other telemetry.ris.bka.gv.at.See CONSTITUTION.md and DISCOVERY.md.
pip install -e ".[dev]"
pytest tests/test_instructions_drift.py -v # offline pytest tests/test_smoke.py -v # hits live RIS
Apache-2.0. © Matematic Solutions / Wieslaw Mazur.