← redra.ai

INDIVIDUAL MCP TOOL

search_settlements

Search one settlement angle using logical AND keywords and structured status, type, state, proof, and deadline filters.

redra.ainone authenticationAvailability not checked

LIVE ENDPOINT

https://mcp.redra.ai/mcp

No auth detected

Connect to this endpoint to inspect the live schema for search_settlements and invoke it with your own arguments.

Indexed input schema

{}

Risk classification

Inferred read-only · medium confidence · heuristic, not a guarantee.

  • No write-capable action terms were found; this is not proof that invocation has no side effects.

Parent server

redra.ai

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.redra]
url = "https://mcp.redra.ai/mcp"
enabled = true
Claude Code

.mcp.json

{
  "mcpServers": {
    "redra": {
      "type": "http",
      "url": "https://mcp.redra.ai/mcp"
    }
  }
}
Claude Desktop

Settings → Connectors → Add custom connector

Name: redra
Remote MCP URL: https://mcp.redra.ai/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "redra": {
      "url": "https://mcp.redra.ai/mcp"
    }
  }
}
Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code
{
  "servers": {
    "redra": {
      "type": "http",
      "url": "https://mcp.redra.ai/mcp"
    }
  }
}
Generic MCP

Client-specific MCP configuration

{
  "name": "redra",
  "transport": "streamable-http",
  "url": "https://mcp.redra.ai/mcp"
}
MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

Related tools

  • search_settlements_batch — Run up to 50 independent settlement searches and deduplicate records across queries.
  • get_settlement — Return the complete stored record and official source links for one settlement ID produced by a search.
  • get_settlements — Return complete stored records and official source links for up to 20 settlement IDs produced by search.
  • get_dataset_info — Return source, license, freshness, counts, and hosted aggregate metrics.