Skip to content

Redra

by sacrosaunt · remote · no sign-in to list tools · v0.1.0 · published by GitHub user sacrosaunt

Search current class-action settlements and identify possible matches using structured filters.

Changes · 1
CompareRegistry entry

5 tools: 1 change things and 4 only read.

Scanned Oct 21, 2026

1 check matched something in the tool definitions. No finding is not a safety guarantee. How the checks work.

claude mcp add --transport http redra https://mcp.redra.ai/mcp

Findings

Matches of fixed checks, with the text they matched.

1 warn
  • Warnsearch_settlements_batch

    The server marks "search_settlements_batch" read-only (readOnlyHint: true), and its own name, description or input give the class "write".

    Matched text

    annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}; The name "search_settlements_batch" says "search": a word for reading.

    What this check looks for

Tools

Open a tool for its reasons and full description. Descriptions are the publisher's own words, shown as they are.

5 tools

Changes things 1Claude Code: ask
  • search_settlements_batchRun up to 50 independent settlement searches and deduplicate records across queries.1 finding

    Why it is in this group

    • The name "search_settlements_batch" says "search": a word for reading.
    • The description's first verb is "run": a word for a change.
    • The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.

    Findings

    • Warn

      The server marks "search_settlements_batch" read-only (readOnlyHint: true), and its own name, description or input give the class "write".

      Matched text

      annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}; The name "search_settlements_batch" says "search": a word for reading.

      What this check looks for
    Description, as the server wrote it
    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.

    Annotations the server declares

    • title: Search settlements in a batch
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
Only reads 4Claude Code: allow
  • get_dataset_infoReturn source, license, freshness, counts, and hosted aggregate metrics.No findings

    Why it is in this group

    • The name "get_dataset_info" says "get": a word for reading.
    Description, as the server wrote it
    Return source, license, freshness, counts, and hosted aggregate metrics.

    Annotations the server declares

    • title: Get dataset information
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
  • get_settlementReturn the complete stored record and official source links for one settlement ID produced by a search.No findings

    Why it is in this group

    • The name "get_settlement" says "get": a word for reading.
    Description, as the server wrote it
    Return the complete stored record and official source links for one settlement ID produced by a search.

    Annotations the server declares

    • title: Get a settlement
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
  • get_settlementsReturn complete stored records and official source links for up to 20 settlement IDs produced by search.No findings

    Why it is in this group

    • The name "get_settlements" says "get": a word for reading.
    Description, as the server wrote it
    Return complete stored records and official source links for up to 20 settlement IDs produced by search.

    Annotations the server declares

    • title: Get settlements
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false
  • search_settlementsSearch one settlement angle using logical AND keywords and structured status, type, state, proof, and deadline filters.No findings

    Why it is in this group

    • The name "search_settlements" says "search": a word for reading.
    Description, as the server wrote it
    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.

    Annotations the server declares

    • title: Search settlements
    • readOnlyHint: true
    • destructiveHint: false
    • idempotentHint: true
    • openWorldHint: false

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.

Install

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

claude mcp add --transport http redra https://mcp.redra.ai/mcp

Run in a terminal.

Claude Code permissions

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

.claude/settings.json
{
  "permissions": {
    "allow": [
      "mcp__redra__search_settlements",
      "mcp__redra__get_settlement",
      "mcp__redra__get_settlements",
      "mcp__redra__get_dataset_info"
    ],
    "ask": [
      "mcp__redra__search_settlements_batch"
    ],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. It assumes the server is installed as redra. Review it before you use it.