Skip to content
anlyon.devby Anlyon

iva.pt — EU VAT check (VIES) and Portuguese VAT law

pt.iva/ivaiva.ptstreamable-httpv1.1.0Scanned

Validate EU VAT numbers in VIES and read the Portuguese VAT Code and RITI in Portuguese or English.

4 tools: 4 change things.

Tools: 0 delete, 0 irreversible, 4 write, 0 read.
  • Reads private data · 0
  • Reads text others write · 1
  • Can send data out · 0
  • No findings

Anlyon alternative

4 of these tools change something. Run those as governed actions.

Declare what an action changes, and Anlyon puts it under a shared limit, binds every approval to the exact request, and grades the outcome. It works on any HTTPS API you can describe as an action.

Anlyon does not run, proxy or govern this MCP server. A tool your own code calls directly is not routed through Anlyon and is not governed by it.

Import an OpenAPI spec →
Compare with similar serversMarkdownJSONReport this listing

Tools

Grouped by what each tool does, most consequential first. Open one for its reasons and full description; descriptions are the publisher's own words.

4 tools

Changes things 4Claude Code: ask
  • artigo_civaDevolve o texto em vigor de um artigo do Código do IVA português (CIVA), com a ligação para iva.pt.No findings

    Why it is in this group

    • Nothing in its name or description says what it does, so it is counted as a write.
    • The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
    Description, as the server wrote it
    Devolve o texto em vigor de um artigo do Código do IVA português (CIVA), com a ligação para iva.pt. Fonte: Autoridade Tributária e Aduaneira.

    Annotations the server declares

    • readOnlyHint: true
  • artigo_ritiDevolve o texto em vigor de um artigo do Regime do IVA nas Transações Intracomunitárias (RITI), com a ligação para iva.pt.No findings

    Why it is in this group

    • Nothing in its name or description says what it does, so it is counted as a write.
    • The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
    Description, as the server wrote it
    Devolve o texto em vigor de um artigo do Regime do IVA nas Transações Intracomunitárias (RITI), com a ligação para iva.pt. Fonte: Autoridade Tributária e Aduaneira.

    Annotations the server declares

    • readOnlyHint: true
  • pesquisar_legislacaoPesquisa por palavras (em português) nos títulos e no texto dos artigos do Código do IVA e do RITI.No findings

    Why it is in this group

    • Nothing in its name or description says what it does, so it is counted as a write.
    • The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
    Description, as the server wrote it
    Pesquisa por palavras (em português) nos títulos e no texto dos artigos do Código do IVA e do RITI. Devolve os artigos mais relevantes com ligação. Use depois artigo_civa ou artigo_riti para ler o texto.

    Annotations the server declares

    • readOnlyHint: true
  • validar_ivaValida em tempo real um número de IVA intracomunitário de qualquer Estado-membro da UE (ou da Irlanda do Norte, XI) no sistema VIES da Comissão Europeia.Reads text others writeNo findings

    Why it is in this group

    • Nothing in its name or description says what it does, so it is counted as a write.
    • The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.

    What it can reach

    • untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
    Description, as the server wrote it
    Valida em tempo real um número de IVA intracomunitário de qualquer Estado-membro da UE (ou da Irlanda do Norte, XI) no sistema VIES da Comissão Europeia. Devolve se é válido e, quando o Estado-membro os disponibiliza, o nome e a morada registados. Se for indicado o número de IVA do requerente, faz a verificação qualificada e devolve o número de consulta da Comissão Europeia. Validates an EU VAT number in VIES.

    Annotations the server declares

    • readOnlyHint: true
    • openWorldHint: true

This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.

Exfil surface

Which tools read private data, which read text someone else can write, and which can send data out. One of each is a path a prompt injection can use.

No private-data, untrusted-input, outbound path in this server alone: no tool is tagged private-data or outbound.

Reads private data0
Reads files, mail, messages, databases, secrets, calendars or repositories.
Reads text others write1
Brings in text someone else can write: web pages, inbound email, messages, issues and comments.
Can send data out0
Can carry data to people or systems: it sends, posts or publishes, or takes a recipient, channel or URL.

Other servers in the same agent add their own tools to these paths. Audit your whole setup to see them together.

Findings

Matches of fixed checks, with the text they matched.

No check matched anything in these tool definitions. That is not a safety guarantee.

History

Changes to its tool definitions and to its remote endpoint, newest first.

No change seen yet. Its tools are rescanned every day, and a remote endpoint is looked at once a week.

All changes to this server

Install

Pinned to version 1.1.0. Values in angle brackets are yours to fill in.

claude mcp add --transport http iva https://iva.pt/mcp
claude mcp add --transport http iva https://iva.pt/mcp

Run in a terminal.

Claude Code permissions

Allow the reads, ask before a change or a way out, deny the deletes. Paste into .claude/settings.json.

.claude/settings.json
{
  "permissions": {
    "allow": [],
    "ask": [
      "mcp__iva__validar_iva",
      "mcp__iva__artigo_civa",
      "mcp__iva__artigo_riti",
      "mcp__iva__pesquisar_legislacao"
    ],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. A read that can send data out (it takes a URL, say) asks first too. It assumes the server is installed as iva. Review it before you use it.

Capability tags behind 1 rule
  • mcp__iva__validar_iva untrusted-input

Pin

Keep the decision: fail CI when the tools change, follow every change, or show a badge.

Pin in CI

Fail a build when the tools you reviewed are not the tools the server serves today.

curl -s "https://anlyon.dev/api/v1/servers/pt.iva/iva/verify?hash=74c053c93b2325aa9c12ef928897b5911ee417013c6ac0b786db080c3cf785b3" | jq -e '.changed == false'

Pinned hash 74c053c93b23, from Oct 28, 2026, 14:18 UTC.

Watch

Get told when its tools change: a new tool, a new description, a new class.

https://anlyon.dev/servers/pt.iva/iva/changes.xml

An Atom feed. Works in any feed reader or Slack's RSS app.

Badge

anlyon.dev badge for pt.iva/iva
[![anlyon.dev](https://anlyon.dev/badge/pt.iva/iva.svg)](https://anlyon.dev/servers/pt.iva/iva)

Source: MCP Registry. Synced Oct 28, 2026, 15:18 UTC.