Home / MCP registry index / pt.flatin/property-taxes

flatin.pt — Portuguese homes: new-builds, places, taxes

pt.flatin/property-taxes in the official MCP registry. Endpoint https://flatin.pt/mcp. Source: gitlab.com/flatin-pt-group/mcp.

The registry describes it as: Portugal home buying: new-build search, where-to-live guides, municipality data, IMT/IMI taxes

We read its 15 tools on 2026-10-30. Nothing in them matched our tool-poisoning rules. It also sets server instructions, text a client puts in front of the model on connect; those were read too.

A clean read means these rules found nothing, not that the server is harmless. A server can change its tools at any time, which is why the index reads it again every week.

Connect it

The endpoint answers MCP over HTTP; that is how we read it. Add it to your client:

Claude Code

claude mcp add --transport http property-taxes https://flatin.pt/mcp

Cursor: ~/.cursor/mcp.json

{
  "mcpServers": {
    "property-taxes": {
      "url": "https://flatin.pt/mcp"
    }
  }
}

VS Code

code --add-mcp '{"name":"property-taxes","type":"http","url":"https://flatin.pt/mcp"}'

Some servers ask you to sign in the first time a client connects, or want a key from the people who run them; the server's own docs say which.

Let Claude Code check servers as it adds them

With the free lazaretto-guard plugin installed, when Claude Code adds a server for you or writes one into an MCP config, the plugin reads the server's tools first and asks you if one of our rules matches. Install it, restart Claude Code, then ask it to run the command above.

Install lazaretto-guard

claude plugin marketplace add jamesdfinance-dev/lazaretto-plugins
claude plugin install lazaretto-guard@lazaretto-plugins

Tools it advertises

imt_calculate required_income imi_rate imi_annual_cost request_consultation submit_consultation subscribe_digest where_to_live municipality_stats compare_municipalities construction_barometer municipality_housing_pipeline glossary_lookup search_newbuilds get_newbuild

Tool changes

We compare every full read of this server with the one before. No change in what its tools say has been seen since we started keeping this record on 2026-10-30.

Fingerprint of its tools at our last full read (2026-10-30): d27bb43813dccee7. A client can hash the tools it is served the same way and compare; the full value and a hash per tool are in this page as JSON.

Run this server? Show the check in your README

The badge reflects the latest weekly read:

Markdown

[![MCP tool check](https://lazaretto.dev/mcp-registry/pt-flatin-property-taxes/badge.svg)](https://lazaretto.dev/mcp-registry/pt-flatin-property-taxes)

How this was checked

Lazaretto connects to the endpoint the way any MCP client does, asks the server to introduce itself and list its tools, and reads every name, description, parameter schema and server instruction for tool poisoning: hidden directive blocks, orders to read local secrets, parameters built to carry secrets or the conversation out, orders that redirect another server's tools, and invisible characters. It never calls a tool. What we found across the registry.

To run the same check every time Claude Code adds a server, install the free lazaretto-guard plugin. Browse every server in the index.