Redra

Last 30 days

Uptime

100%

Response time

509 ms typical, 579 ms slowest 5%

Last check

8 h ago

Next check

any minute now

How to call it

Add it to any MCP client that supports remote servers.

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

5 tools

• search_settlements

  Search one settlement angle using logical AND keywords and structured status, type, state, proof, and deadline filters. Status defaults to open. Results include source metadata and quality flags.

• search_settlements_batch

  Run up to 50 independent settlement searches and deduplicate records across queries. Results include matched_query_indices, and executed_query_count reports the number of searches performed. Use when several unrelated search angles should be evaluated together.

• 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.

Security scan

• No findings. We scan names, descriptions and tool definitions for hidden instructions and other prompt-injection patterns.

Recent checks