Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
MCP server for Austrian RIS federal legislation: ELI identifiers and verifiable citations.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Open Claude Desktop → Settings → Developer → Edit Config, and paste this into claude_desktop_config.json
{
"mcpServers": {
"at-eli": {
"command": "uvx",
"args": [
"at-eli-mcp"
]
}
}
}Run this in your terminal
claude mcp add at-eli -- uvx at-eli-mcpPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"at-eli": {
"command": "uvx",
"args": [
"at-eli-mcp"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Paste into .vscode/mcp.json in your project
{
"servers": {
"at-eli": {
"type": "stdio",
"command": "uvx",
"args": [
"at-eli-mcp"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
This one runs on your computer, and ChatGPT can only connect to servers on the internet. Pick another app.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
Runs on your computer; the tool list appears in your AI app after you install it.
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
The registry name was verified with the GitHub account matematicsolutions, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
This one runs on your computer; there is no internet endpoint
Runs on your computer and uses local settings instead
Runs on your computer; we can only read tool lists from internet endpoints
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs on your computer. Your AI app starts it when needed, and data does not pass through the maker’s servers (unless it calls an online service itself).
The GitHub repo last changed –, and the latest version (0.4.3) reached the registry 2 months ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need Python (uv) on your computer.
In the same category: Spec Driven Development, Remote Desktop Commander, Foliosio
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
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.
Read your support inbox, tag conversations and save draft replies from your AI agent. Never sends.
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
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.