Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

io.github.matematicsolutions/es-eli-mcp

PYPI · ES-ELI-MCP · SCANNED SEP 20

Spanish law MCP: BOE legislation, Constitutional Court, DGT and TEAC tax, AEPD resolutions.

Available components

0 this week 78 Trust /100
Trust breakdown (7 categories)

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →

Supply Chain Security82
Provenance & Transparency45
Schema Quality & AI Usability69
  • AI-judged instruction clarity (excellent).Pass
  • Context-footprint check failed: tool/resource definitions use about 2987 tokens (~229/item across 13 items; 13 tools + 0 resources), over budget; trim descriptions and params. See how to fix → Fail
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management100
  • No destabilizing schema changes in the last 30 days.Pass
Tool Coverage100
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 100% of tool parameters carry a description.Pass
  • Structured output schemas are declared (100% of tools); any adoption earns full credit.Pass
Tool Safety100
  • No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
  • We read all 13 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • An AI judge read all 14 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
  • Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass
Install

How do I install the io.github.matematicsolutions/es-eli-mcp server?

io.github.matematicsolutions/es-eli-mcp runs locally as a PyPI package, launched with uvx es-eli-mcp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.

pypi · es-eli-mcp

# add to Claude Code
claude mcp add matematicsolutions-es-eli-mcp -- uvx es-eli-mcp
// .cursor/mcp.json
{
  "mcpServers": {
    "matematicsolutions-es-eli-mcp": {
      "command": "uvx",
      "args": [
        "es-eli-mcp"
      ]
    }
  }
}
// .vscode/mcp.json
{
  "servers": {
    "matematicsolutions-es-eli-mcp": {
      "command": "uvx",
      "args": [
        "es-eli-mcp"
      ]
    }
  }
}
# add to Codex CLI
codex mcp add matematicsolutions-es-eli-mcp -- uvx es-eli-mcp
// opencode.json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "matematicsolutions-es-eli-mcp": {
      "type": "local",
      "command": [
        "uvx",
        "es-eli-mcp"
      ],
      "enabled": true
    }
  }
}
# add to OpenClaw
openclaw mcp add matematicsolutions-es-eli-mcp --command uvx --arg es-eli-mcp
# ~/.hermes/config.yaml
mcp_servers:
  matematicsolutions-es-eli-mcp:
    command: "uvx"
    args: ["es-eli-mcp"]
// ~/.netclaw/config/netclaw.json
{
  "McpServers": {
    "matematicsolutions-es-eli-mcp": {
      "Transport": "stdio",
      "Command": "uvx",
      "Arguments": [
        "es-eli-mcp"
      ]
    }
  }
}
# add to Vellum
assistant mcp add matematicsolutions-es-eli-mcp -t stdio -c uvx -a es-eli-mcp
// mcp.json
{
  "mcpServers": {
    "matematicsolutions-es-eli-mcp": {
      "command": "uvx",
      "args": [
        "es-eli-mcp"
      ]
    }
  }
}
Changelog

Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.

  • 20 Sept 26 0
    • Stability: 0.97 → pass security
  • 19 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 93 to 97. That category is still filling its 30-day observation window: 28 days of observed history at the previous scan, 29 at this one. The score rises as the window fills, whether or not the server changes.

  • 17 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 87 to 90. That category is still filling its 30-day observation window: 26 days of observed history at the previous scan, 27 at this one. The score rises as the window fills, whether or not the server changes.

  • 15 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 80 to 83. That category is still filling its 30-day observation window: 24 days of observed history at the previous scan, 25 at this one. The score rises as the window fills, whether or not the server changes.

  • 14 Sept 26 −3
    • Stability: pass → 0.80 functional
  • 13 Sept 26 0
    • Stability: 0.97 → pass security
  • 12 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 93 to 97. That category is still filling its 30-day observation window: 28 days of observed history at the previous scan, 29 at this one. The score rises as the window fills, whether or not the server changes.

  • 10 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 87 to 90. That category is still filling its 30-day observation window: 26 days of observed history at the previous scan, 27 at this one. The score rises as the window fills, whether or not the server changes.

Diagnostics

Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.

Captured 20 Sept 2026 · Analysed pypi/es-eli-mcp@0.5.3

Provenance No attestation

The registry publishes no build provenance for this version, so there is nothing to verify.

Result No attestation
Ecosystem pypi

Background: How many MCP packages publish verified provenance →

Install scripts 1 script
Hook Tier Command
build_backend allowlisted hatchling.build

Background: Why install scripts are a supply-chain risk →

Vulnerabilities 2 findings
ID CVE Severity Vector Fix available
GHSA-w8v5-vhqr-4h9v CVE-2025-69872 medium no
PYSEC-2026-2447 CVE-2025-69872 none no

Background: What a vulnerability scan can and cannot prove →

Dependencies 24 packages
Packages resolved 24
Stale 2
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 13 exposed · ~1,214 tokens

The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →

Tool Tokens
es_browse_gazette ~53

List documents published in the official BOE gazette on a date.

NameTypeReqDescription
datestringyesthe publication date as ``YYYYMMDD`` (e.g. ``"20181206"``).
NameTypeReqDescription
dataset_notestring
datestringyes
itemsarray
totalintegeryes

No examples provided.

es_coverage ~102

Declare what this connector covers, how it is sourced, and what it does NOT cover. Call this before telling a user that the law "does not contain" something, and whenever a search comes back empty: the absence may be a gap in this connector rather than in the law. Every gap carries a fallback saying where to look instead. Returns: ``Coverage`` with families, an as-of note, and a non-empty list of known gaps.

Input schema present but exposes no named parameters.

NameTypeReqDescription
as_of_notestringyesStates what the dates mean, and what they do not promise.
familiesarray
known_gapsarrayNever empty. An empty list would mean 'not checked', not 'no gaps'.
statusstring

No examples provided.

es_get_act ~49

Fetch consolidated-law metadata from BOE by id.

NameTypeReqDescription
boe_idstringyesa BOE identifier, e.g. ``"BOE-A-2018-16673"``.
NameTypeReqDescription
dataset_notestring
departamento
eli_uri
estado_consolidacion
fecha_disposicion
fecha_publicacion
human_readable_citation
id
numero_oficial
rango
source_url
titulo

No examples provided.

es_get_aepd_resolution ~72

Resolve an AEPD expediente number to its resolution and full-text PDF permalink.

NameTypeReqDescription
expedientestringyesthe AEPD procedure number, e.g. ``"PS-00615-2025"`` (PS = sanciones, PD = derechos, AI = actuaciones de investigacion).
NameTypeReqDescription
dataset_notestring
expedientestringyes
fecha_firma
human_readable_citation
pdf_url
snippet
source_url

No examples provided.

es_get_constitutional_ruling ~101

Fetch a Tribunal Constitucional ruling (Sentencia/Auto/Declaracion) by internal id.

NameTypeReqDescription
resolution_idstringyesthe internal Sistema HJ sequential id (e.g. ``"6670"`` for STC 31/2010). Get this id either from ``es_search_constitutional`` or from a hyperlink inside another ruling's text (``.../Resolucion/Show/{…
NameTypeReqDescription
dataset_notestring
ecli
encabezamiento
fallo
human_readable_citation
idstringyes
sala
source_url
tipo

No examples provided.

es_get_index ~53

List the block index (articles, titles) of a consolidated law.

NameTypeReqDescription
boe_idstringyesa BOE identifier, e.g. ``"BOE-A-2018-16673"``.
NameTypeReqDescription
blocksarray
dataset_notestring
idstringyes

No examples provided.

es_get_tax_ruling ~69

Fetch a full DGT tax ruling by its official number.

NameTypeReqDescription
numero_consultastringyesthe official NUM-CONSULTA, e.g. ``"V0001-25"`` (vinculante) or ``"0001-03"`` (general).
NameTypeReqDescription
contestacion
cuestion_planteada
dataset_notestring
descripcion_hechos
fecha_salida
human_readable_citation
normativa
num_consulta
organo
source_url

No examples provided.

es_get_teac_criterio ~75

Fetch one TEAC criterio (with the full resolution text) by its DYCTEA id.

NameTypeReqDescription
criterio_idstringyesthe DYCTEA id from ``es_search_teac_doctrine``, e.g. ``"00/07082/2025/00/0/1"``.
NameTypeReqDescription
asunto
calificacion
criterio
criterio_idstringyes
dataset_notestring
fecha_resolucion
human_readable_citation
referencias_normativas
rg
source_url
texto_resolucion
unidad_resolutoria

No examples provided.

es_get_text ~97

Fetch the consolidated text (XML) of a law, whole or by block.

NameTypeReqDescription
block_idoptional block id from ``es_get_index`` (e.g. ``"a1"`` for Articulo 1). Omit for the full consolidated text (can be large).
boe_idstringyesa BOE identifier, e.g. ``"BOE-A-2018-16673"``.
NameTypeReqDescription
block_id
byte_size
content
content_type
dataset_notestring
eli_uri
formatstring
human_readable_citation
idstringyes
source_url

No examples provided.

es_search_aepd_resolutions ~116

Search AEPD (Spanish DPA) resolutions by full text and/or signature date.

NameTypeReqDescription
fecha_desdeearliest signature date, ``dd/mm/aaaa``.
fecha_hastalatest signature date, ``dd/mm/aaaa``.
pageinteger1-based results page (10 hits per page).
textofull-text query (Solr), e.g. ``"videovigilancia"`` - an expediente number also works as an exact query.
NameTypeReqDescription
dataset_notestring
itemsarray
pageintegeryes
totalintegeryes

No examples provided.

es_search_constitutional ~121

Resolve a Tribunal Constitucional citation (number + year) to the full ruling.

NameTypeReqDescription
annostringyesthe citation year, e.g. ``"2010"``.
numerostringyesthe citation number, e.g. ``"31"`` for "STC 31/2010".
tipostringone of ``"SENTENCIA"`` (default, -> STC), ``"AUTO"`` (-> ATC), or ``"DECLARACION"`` (-> DTC).
NameTypeReqDescription
dataset_notestring
ecli
encabezamiento
fallo
human_readable_citation
idstringyes
sala
source_url
tipo

No examples provided.

es_search_tax_rulings ~147

Search DGT tax rulings (consultas tributarias) by free text and/or date.

NameTypeReqDescription
databasestring``"vinculantes"`` (default, V-numbers, binding) or ``"generales"``.
fecha_desdeearliest ``fecha salida``, ``dd/mm/aaaa``.
fecha_hastalatest ``fecha salida``, ``dd/mm/aaaa`` (requires fecha_desde).
pageinteger1-based results page (20 hits per page).
textofree-text query over the ruling corpus (e.g. ``"aerotermia"``).
NameTypeReqDescription
databasestringyes
dataset_notestring
itemsarray
pageintegeryes
totalintegeryes
total_pagesintegeryes

No examples provided.

es_search_teac_doctrine ~159

Search TEAC doctrine (DYCTEA criterios) by RG segments and/or date range.

NameTypeReqDescription
annoRG year segment, e.g. ``"2025"``.
fecha_desdeearliest resolution date, ``dd/mm/aaaa``.
fecha_hastalatest resolution date, ``dd/mm/aaaa``.
numeroRG claim number segment, e.g. ``"07082"``.
pageinteger1-based results page (10 hits per page, portal caps display at 100).
sedeRG sede segment, e.g. ``"00"`` (TEAC) - first part of RG 00/07082/2025.
NameTypeReqDescription
dataset_notestring
itemsarray
pageintegeryes
totalintegeryes

No examples provided.

Common questions

What is the io.github.matematicsolutions/es-eli-mcp server?

io.github.matematicsolutions/es-eli-mcp is listed in the public MCP registry as io.github.matematicsolutions/es-eli-mcp. Spanish law MCP: BOE legislation, Constitutional Court, DGT and TEAC tax, AEPD resolutions. This page covers its PyPI package (es-eli-mcp).

Is the io.github.matematicsolutions/es-eli-mcp server safe to use?

io.github.matematicsolutions/es-eli-mcp scores 78 out of 100 on VerifyMCP. We recorded 2 known advisories against it as of 20 September 2026. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.

What tools does the io.github.matematicsolutions/es-eli-mcp server expose?

io.github.matematicsolutions/es-eli-mcp exposes 13 tools: es_get_act, es_get_index, es_get_text, es_browse_gazette, es_get_constitutional_ruling, and 8 more. Their descriptions and schemas cost roughly 1,214 tokens of context every time the server is loaded.

Is the io.github.matematicsolutions/es-eli-mcp server still maintained?

io.github.matematicsolutions/es-eli-mcp is still listed as active in the MCP registry. We last reached this channel on 20 September 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.

What licence is the io.github.matematicsolutions/es-eli-mcp server under?

io.github.matematicsolutions/es-eli-mcp declares the Apache-2.0 licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.