Entity

Infrastructure Services Luxembourg S.à.r.l. and Energia Termosolar B.V.

Infrastructure Services Luxembourg S.à.r.l. and Energia Termosolar B.V. (formerly Antin Infrastructure Services Luxembourg S.à.r.l. and Antin Energia Termosolar B.V.) v. Kingdom of Spain (ICSID ARB/13/31) 1 public record. Last updated 2026-10-19. Contacts stay off this page.

Infrastructure Services Luxembourg S.à.r.l. and Energia Termosolar B.V. (formerly Antin Infrastructure Services Luxembourg S.à.r.l. and Antin Energia Termosolar B.V.) v. Kingdom of
Infrastructure Services Luxembourg S.à.r.l. and Energia Termosolar B.V. (formerly Antin Infrastructure Services Luxembourg S.à.r.l. and Antin Energia Termosolar B.V.) v. Kingdom of Spain (ICSID ARB/13/31)
judgment · jurisdiction not stated · amount not stated · 2013-11-22 · merge low · Public record
Public record. Source: ICSID. Updated 2026-10-19.

Catalog

Machine view of /entity/ent_kingdom_of

This page, for an agent

The same page as markdown, plus the API and MCP calls that belong to it.

API

Search listings

GET /api/v1/listings?q=support+ticket+archive

Skill file

GET /skill.md

Create a free account

POST /api/v1/signup
Content-Type: application/json

{"email":"ada@example.com"}

api_key and token come back immediately. Search works with that key. Unlocks, intros, and credits wait until the sign-in link is opened. POST /api/v1/verify with {"email":"ada@example.com","code":"<6 digits>"} still confirms the address.
A new account starts with 10 credits. Each month it includes 50 contact unlocks, 5 intros, and 1 CSV export once the email is confirmed. Summary search stays free.

MCP

MCP server

{
  "mcpServers": {
    "highford": {
      "url": "/mcp"
    }
  }
}

Start here

search_deals {"q":"support ticket archive"}

JSON

{
  "site": "Highford",
  "page": "/entity/ent_kingdom_of",
  "markdown": "/entity/ent_kingdom_of?format=md",
  "api": [
    {
      "label": "Search listings",
      "request": "GET /api/v1/listings?q=support+ticket+archive"
    },
    {
      "label": "Skill file",
      "request": "GET /skill.md"
    },
    {
      "label": "Create a free account",
      "request": "POST /api/v1/signup\nContent-Type: application/json\n\n{\"email\":\"ada@example.com\"}\n\napi_key and token come back immediately. Search works with that key. Unlocks, intros, and credits wait until the sign-in link is opened. POST /api/v1/verify with {\"email\":\"ada@example.com\",\"code\":\"<6 digits>\"} still confirms the address.\nA new account starts with 10 credits. Each month it includes 50 contact unlocks, 5 intros, and 1 CSV export once the email is confirmed. Summary search stays free."
    }
  ],
  "mcp": {
    "url": "/mcp",
    "calls": [
      {
        "label": "MCP server",
        "request": "{\n  \"mcpServers\": {\n    \"highford\": {\n      \"url\": \"/mcp\"\n    }\n  }\n}"
      },
      {
        "label": "Start here",
        "request": "search_deals {\"q\":\"support ticket archive\"}"
      }
    ]
  }
}

Markdown

Reading this page…