原型 · 预览版:收录官方注册中心里的全部服务器,每 30 分钟同步一次。评价和账户功能将在后续阶段推出。
PopNx MCP为使用 AI 的人准备的 MCP 服务器 · 用大白话讲清楚

Redra

作者:sacrosaunt版本 0.1.0i★ –i在云端运行
注册名称io.github.sacrosaunt/redra

安装

概览

作者提供的说明(英文原文)

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

PopNx MCP 的三大支柱

这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。

它能帮你做什么

我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。

  • 连接方式: 在云端运行
  • 传输方式: Streamable HTTP
  • 分类: 搜索与 AI 记忆

安装

选择你使用的 AI 应用,然后复制设置。

安装之前

你需要

你用的是哪个应用?

在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。

适用于网页版、桌面版和手机版 Claude:

  1. 打开 Settings → Connectors
  2. 点击 Add custom connector
  3. 粘贴下面的地址,然后点击 Add
  4. 如果要求登录,请登录作者的服务
SettingsConnectors1+ Add2https://…3
https://mcp.redra.ai/mcp

在终端中运行这条命令

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

在 Cursor 中打开

或者自己复制设置

粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json

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

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

在 VS Code 中打开

或者自己复制设置

粘贴到项目中的 .vscode/mcp.json

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

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

ChatGPT 只能连接互联网上的服务器:

  1. 打开网页版 ChatGPT → Settings → Connectors (Apps)
  2. 点击 Create 或 Add(部分套餐需要先在 Advanced 中开启 Developer mode)
  3. 粘贴下面的地址,起个名字,然后保存
  4. 如果要求登录,请登录作者的服务
SettingsConnectors1+ Create2https://…3
https://mcp.redra.ai/mcp

菜单名称可能因套餐和版本不同而略有差异。

你的选择通过 Cookie 保存在这台设备上,无需账户。

这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。

它能做什么

我们还没有读取这个服务器的工具列表;我们会轮流检查各个端点。

基础检查i

我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日

  • ✓ 通过

    作者与仓库一致

    注册名称已通过 GitHub 账户 sacrosaunt 验证,该账户拥有此仓库

  • … 尚未检查

    仍在维护

    我们还没有从 GitHub 读取这个仓库

  • … 尚未检查

    有许可证

    我们还没有从 GitHub 读取这个仓库

  • … 尚未检查

    端点有响应

    尚未检查;我们会轮流检查各个端点

  • … 尚未检查

    使用 OAuth 登录

    尚未检查;我们会轮流检查各个端点

  • … 尚未检查

    工具描述中没有隐藏指令

    尚未检查;我们会在检查端点时读取工具列表

与“搜索与 AI 记忆”中的其他服务器比较i

  • 星标数多于此分类中其他 5660 个服务器的 0%
  • 发布到注册中心的时间比此分类中其他 5660 个服务器的 25% 更新
  • 基础检查结果等于或优于此分类中其他 5660 个服务器的 100%

与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。

常见问题

Redra 安全吗?

它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。

它需要哪些密钥或代码?

注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。

它在我的电脑上运行还是在云端?

它在作者的云端运行。通过互联网连接,无需安装,但你发送的内容会经过作者的服务器。

它还在维护吗?

GitHub 仓库最后更新于–,最新版本(0.1.0)于3个月前进入注册中心。

哪些应用可以使用它?

支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。它通过 URL 连接,所以接受远程 MCP 服务器的应用也可以使用,例如开启开发者模式的 ChatGPT。

有什么可以替代它?

同一分类中有:Context7, Codebase Memory, Exa

替代选择

同一分类中其他作者的服务器,按星标数排序。

如何看卡片:★ GitHub 星标i三大支柱:评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i

Context7

作者:upstash

Up-to-date docs for AI agents

电脑或云端★ 64,224MIT昨天更新
安装

Codebase Memory

作者:DeusData

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

在你的电脑上运行★ 48,148MIT21天前更新
安装

Exa

作者:exa-labs

Connect AI agents to Exa for web search, content fetching, and multi-step research.

在云端运行★ 5,213MIT2个月前更新
安装

作者的 README

打开 README

按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。

Redra MCP

Redra is an open-source Model Context Protocol server that searches current class-action settlement records. It works with any MCP client and supports two deployment choices:

  1. Use the hosted Redra MCP and dataset (recommended).
  2. Self-host both the MCP and a local copy of Redra's published dataset.

Redra identifies possible keyword matches. It does not determine legal eligibility, submit claims, or provide legal advice.

Data source and license

During the technical beta, local mode defaults to the public SettleSignal JSON feed at https://settlesignal.com/data/settlements.json. SettleSignal identifies its Hugging Face dataset card as an official profile, and that card licenses the feed's public fields under CC BY 4.0. Redra preserves source attribution and links while normalizing fields and adding derived lifecycle and quality metadata.

Redra also supports its independently assembled, content-addressed open and upcoming publication format. That publication remains in a gated shadow beta; it is not the fresh-install default until its launch checks pass. Every imported independent record must have independent discovery lineage and Tier A or B provenance, and a failed validation leaves the prior local snapshot untouched.

open records have a currently usable filing endpoint. upcoming records require evidence of a future claim window but have no current claim form. They are exposed only as a watchlist and are excluded from the open count and claimable-money total. The normalized factual compilation is published under CC BY 4.0. Search results preserve official source links and carry source and change attribution. See NOTICE.md.

The provider is explicit and is never inferred from a downloaded payload. Set REDRA_DATASET_PROVIDER=independent to consume Redra's publication, or leave it as settlesignal during the transition. REDRA_DATASET_URL can override the selected provider's default URL.

No settlement data is committed to this repository.

Hosted service (public preview)

The project currently operates this optional public service:

  • Website: https://redra.ai/
  • Documentation: https://redra.ai/docs
  • Hosted MCP: https://mcp.redra.ai/mcp
  • Privacy policy: https://redra.ai/privacy

The operational database behind the hosted MCP is private, has no public Fly route, and is reachable only by the hosted MCP over authenticated internal networking. The MCP currently requires no user API key. It does not impose a per-IP quota, because hosted AI clients can send many unrelated users through shared network addresses. Availability is provided on a best-effort basis without an uptime, completeness, or fitness-for-eligibility guarantee.

The Redra application does not persist prompts, profile data, or MCP tool arguments. The hosted MCP receives only tool arguments, not an agent's complete conversation. Hosting infrastructure may retain ordinary operational metadata, such as timestamps and request paths, in short-lived access logs. The hosted MCP stores each network-source IP address with a cumulative count of MCP work units for aggregate usage measurement; items in a batch count individually. A network source may be shared provider infrastructure and is not treated as a Redra user identity or quota key. Search terms and tool arguments are not associated with that counter. Self-hosted Redra does not enable this hosted usage counter.

Option 1: hosted MCP and dataset (recommended)

Connect a Streamable HTTP MCP client to the URL published by the Redra service, currently:

https://mcp.redra.ai/mcp

No local process or dataset is needed.

Option 2: self-hosted MCP and dataset

Python 3.11 or newer is required. Clone and install Redra:

git clone https://github.com/sacrosaunt/Redra.git

cd Redra python -m venv .venv source .venv/bin/activate pip install -e .

The project pins the current stable v1 line of the official Python MCP SDK with mcp>=1.27,<2. Version 2 was still prerelease when this release was built.

Download the settlement dataset and start the local MCP:

export REDRA_DATABASE_PATH="$PWD/data/settlements.db"

redra-mcp dataset update redra-mcp serve --transport stdio

The update is transactional: a failed download or invalid source payload leaves the previous SQLite dataset intact. To keep a local dataset fresh automatically:

redra-mcp dataset watch --interval-hours 24

This performs an update immediately and then once every 24 hours. It is optional; self-hosters can instead invoke dataset update from their existing cron system.

To expose the local MCP over Streamable HTTP:

export REDRA_PORT=8000

redra-mcp serve --transport streamable-http

The MCP endpoint is /mcp and binds to 127.0.0.1 by default.

Network safety: Redra's HTTP transport does not provide authentication or

TLS. Do not bind it to 0.0.0.0 or publish port 8000 directly unless access is

protected by a trusted authenticated reverse proxy, firewall, or private network.

Docker

Start the server and its once-daily updater:

docker compose up --build

The updater and MCP share the SQLite volume. The MCP remains available if a refresh fails, and the previous valid snapshot stays in place. Compose publishes the MCP only on the host loopback interface at 127.0.0.1:8000.

MCP tools

  • search_settlements: keyword and structured-filter search.
  • search_settlements_batch: runs up to 50 independent searches in one MCP call without changing the logical-AND meaning of each query's keywords. Records are deduplicated across queries, and matched_query_indices preserves every search angle that found each record.
  • get_settlement: fetches one record and its official source links, with agent guidance to verify the complete eligibility terms when browsing is available.
  • get_settlements: fetches up to 20 finalist records together before the agent composes its answer.
  • get_dataset_info: reports source, license, freshness, and counts.

The hosted provider also returns its cached claimable-money headline in dataset info. It is calculated only from records explicitly marked for inclusion in the claimable total. Upcoming records never contribute. Self-hosted providers may return additional provider-specific aggregate metrics in the same extra object.

Search behavior

Every item in keywords is required (logical AND). Agents should use independent query objects in search_settlements_batch for unrelated companies, products, or alternative terms. This preserves each query's meaning while avoiding a long series of MCP round trips.

Batch search caps the unique records returned across all queries with max_total_results, which defaults to 50 and may be set as high as 100. The cap does not reduce the number of searches performed. Query summaries report each query's total match count, sampled count, returned IDs, and omitted sampled count; the unique records appear once in the top-level items list.

For broad eligibility scans, the MCP directs agents to search expansively across plausible brands, aliases, parent companies, subsidiaries, services, purchases, fees, and incidents recalled from the context the client makes available. It also considers eligibility-relevant demographic angles such as state, age group, occupation, student or veteran status, parent or guardian status, and housing or household situation.

Recalled or inferred associations are query candidates, not facts or eligibility decisions, and queries must not contain identifying information. A category-level or demographic association alone is not enough to call a result a match.

For each plausible result, agents with web access are directed to inspect the official settlement or claim page for the class definition, qualifying dates, products or services, geographic limits, exclusions, proof requirements, and deadline. Agents should compare only confirmed terms with context the user has made available. Before composing the final answer, agents retrieve the complete stored record for every finalist with get_settlement or get_settlements. Plausible results are presented as concise lead cards showing why each surfaced, confirmed matching terms, important unknowns, deadline, payout, proof requirement, and the official link when those fields are available. Evidence strength is ranked before urgency, with labels such as Notice found, Strong possible match, and Needs your confirmation; imminent deadlines remain prominent.

A direct notice is strong evidence but does not prove every class condition. Agents ask a focused non-sensitive follow-up before recommending action when one unknown could change the recommendation. A candidate mentioned during progress receives an explicit final disposition, and purely category-level or demographic candidates are kept out of the action list unless the user requests an exhaustive trace.

Agents search and investigate before asking for more information. When non-sensitive answers would materially clarify a lead, they prefer the client's native structured-question or question-card interface. Clients without that interface fall back to asking the same focused questions directly in chat. Questions should explain why the answer matters, offer a Not sure or Skip choice where appropriate, and never request identifying or sensitive information.

Agents without browsing must say that they could not independently verify the complete terms, avoid guessing, and direct the user to the official link.

Claim status defaults to open. The public MCP supports only open and upcoming. If a broad open scan produces no credible leads or only weak leads, agents may run focused upcoming searches for the strongest user-specific angles. Upcoming records are not yet claimable, are presented as a separate watchlist, and are excluded from current claim counts and money totals. Historical, payment, and uncertain lifecycle states remain internal rather than being exposed as public search options.

The provider's opaque verification tier is not a search filter. It is retained in results as source_verification_status for transparency. Redra also returns objective source_kind, source_checked_at, claim_url_available, claimability, and quality_flags. A source label such as Verified record is converted to an open or closed lifecycle when its deadline makes that determination possible.

Use the exact settlement_type filter instead of keywords when searching by type: class_action_settlement, consumer_product_settlement, data_breach_settlement, financial_fee_settlement, government_refund, other_consumer_compensation, privacy_settlement, regulatory_compensation_program, or state_ag_refund. Keywords intentionally do not search the settlement_type field.

Other filters include state, proof requirement, deadline range, and result limit. An empty applicable_states list is treated as nationwide.

Environment variables

VariablePurposeDefault
REDRA_DATABASE_PATHLocal SQLite databaseplatform data directory
REDRA_DATASET_PROVIDERDataset contract: settlesignal or independentsettlesignal
REDRA_DATASET_URLURL override for the selected providerprovider-specific default
REDRA_REQUEST_TIMEOUTHTTP timeout in seconds20
REDRA_HOSTStreamable HTTP bind address127.0.0.1
REDRA_PORT / PORTStreamable HTTP port8000
REDRA_RATE_LIMIT_PER_HOURStreamable HTTP requests allowed per IP; 0 disables0
REDRA_TRUST_FLY_HEADERSTrust Fly's client-IP headerfalse

| `REDRA_MAX_CONCURRENT_REQUEST

只显示了开头部分;其余内容请在仓库中阅读

问 PopNx