# Redeal (remote · api.redeal.dev)

Neutral fairness computation for agents: fair division, verifiable random, Shapley shares.

- Trust score: 64/100 (medium)
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-08-20

## Components

- remote · `api.redeal.dev`: 64/100 (this document), [markdown](https://verifymcp.io/servers/dev-redeal-redeal/api.md), [page](https://verifymcp.io/servers/dev-redeal-redeal/api)

## Channel facts

- Endpoint: `https://api.redeal.dev/mcp`
- Transports: `streamable-http`
- Auth: `none`
- Version: `0.7.0`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-08-20.

- **Endpoint Security**: 57/100
  - The endpoint's TLS certificate is valid, in date, and uses a strong key.
  - Authorisation not fully verified: no authorisation is required to call this server, and 12 tool(s) never declared a destructiveHint. The MCP spec treats an absent hint as destructive by default, so we cannot call this surface safe.
  - HTTPS is enforced; there's no plaintext access path.
  - HSTS check failed: the Strict-Transport-Security header is absent.
  - DNSSEC check failed: this domain isn't protected by DNSSEC.
- **Transport & Reachability**: 100/100
  - Verified streamable-http transport via a live MCP handshake.
- **Schema Quality & AI Usability**: 70/100
  - AI-judged instruction clarity (excellent).
  - Context-footprint check failed: tool/resource definitions use about 1938 tokens (~161/item across 12 items; 12 tools + 0 resources), over budget; trim descriptions and params.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 17/100
  - Stability observed for 5 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 100/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 100% of tool parameters carry a description.
- **Capabilities**: 100/100
  - Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.

## Install

### Claude

```bash
claude mcp add --transport http dev-redeal-redeal https://api.redeal.dev/mcp
```

### Codex

```toml
[mcp_servers.dev-redeal-redeal]
url = "https://api.redeal.dev/mcp"
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "dev-redeal-redeal": {
      "type": "remote",
      "url": "https://api.redeal.dev/mcp",
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add dev-redeal-redeal --url https://api.redeal.dev/mcp --transport streamable-http
```

### Hermes

```yaml
mcp_servers:
  dev-redeal-redeal:
    url: "https://api.redeal.dev/mcp"
```

### Other

```json
{
  "mcpServers": {
    "dev-redeal-redeal": {
      "type": "http",
      "url": "https://api.redeal.dev/mcp"
    }
  }
}
```

The mcpServers block is a cross-client convention. Remote transports vary, so check your client's docs.

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-08-19 (score 64, 0)

- [functional] Server version: 0.6.0 → 0.7.0
- [functional] New tool “get_public_certificate”
- [cosmetic] “create_deal” added an optional parameter “visibility”

### 2026-08-18 (score 64, +1)

- [security] Tool “list_algorithms” rewrote its description, which is the text the model reads
- [security] Tool “validate_input” rewrote its description, which is the text the model reads
- [functional] Server version: 0.5.0 → 0.6.0
- [functional] Server version: 0.4.0 → 0.5.0
- [cosmetic] “create_deal” added an optional parameter “external_ref”
- [cosmetic] “create_deal” added an optional parameter “supersedes”
- [cosmetic] “create_deal” added an optional parameter “terms_hash”
- [cosmetic] “create_deal” reworded the description of “algorithm”
- [cosmetic] “create_deal” reworded the description of “algorithm_params”
- [cosmetic] “create_deal” reworded the description of “party_labels”
- [cosmetic] “reveal_input” reworded the description of “input”
- [cosmetic] “validate_input” reworded the description of “input”

### 2026-08-17 (score 63, 0)

- [security] Tool “list_algorithms” rewrote its description, which is the text the model reads
- [functional] Server version: 0.3.0 → 0.4.0
- [functional] Server version: 0.2.0 → 0.3.0
- [cosmetic] “create_deal” reworded the description of “party_labels”
- [cosmetic] “create_deal” reworded the description of “algorithm”
- [cosmetic] “create_deal” reworded the description of “algorithm_params”
- [cosmetic] “reveal_input” reworded the description of “input”

### 2026-08-16 (score 63, 0)

- [security] The server rewrote its instructions, which are the text every model session reads
- [functional regression] Schema quality: 1356 → 1564
- [functional improvement] Stability: unverified → 0.03
- [functional] Server version: 0.1.0 → 0.2.0
- [functional] New tool “validate_input”

### 2026-08-15 (score 63)

First indexed and scored.

## MCP tools (12)

### `commit_input` (~149 tokens)

Commit your sealed input as a hash (sealed mode). Nobody — including redeal — can see your input until all parties have committed. After the last commitment the deal opens for reveals immediately.

Input parameters:

- `commitment` (string, required): "sha256:" + hex of sha256(JCS(your input JSON) ++ your salt bytes). Compute it locally; the server sees only this hash until everyone has committed.
- `deal_id` (string, required): The deal id (d_...).
- `idempotency_key` (string|null): Optional: retries with the same key + same arguments replay the original response.
- `invite_token` (string, required): The invite token for YOUR party, from create_deal's response.

### `compute_commitment_tool` (~94 tokens)

Compute a commitment string for (input, salt): sha256(JCS(input) ++ salt_bytes), prefixed 'sha256:'. Convenience only — the rule is public and you can compute it yourself.

Input parameters:

- `input` (required): Your algorithm input (any JSON value).
- `salt` (string, required): Your hex salt (even length, e.g. 32+ random bytes hex-encoded). Keep it secret until reveal.

### `create_deal` (~597 tokens)

Create a fairness deal. You are party 0 (initiator). Returns a deal id and one invite token per party — give each counterparty their own token. Sealed mode: everyone commits a hash, then reveals; certificate is issued automatically when the deal computes or goes VOID.

Input parameters:

- `algorithm` (string, required): Algorithm id from list_algorithms: "split.v1" (fixed 1,000-point budget) | "random.v1" | "shapley.v1" | "auction.v1".
- `algorithm_params`: Algorithm-specific params from list_algorithms. split.v1: {"items": [...]}; random.v1: {"drand_round": N}; shapley.v1: {"coalition_values": {...}}; auction.v1: {"item": "...", "unit": "GBP", "reserve…
- `api_key` (string, required): Your redeal API key (get one free with create_key — no signup form).
- `commit_deadline` (integer, required): Commit deadline as unix seconds UTC. Missed → deal EXPIRES (no certificate).
- `external_ref` (string|null): Optional: your own identifier for this deal, e.g. "campaign-4821" (echoed into the certificate).
- `idempotency_key` (string|null): Optional: retries with the same key + same arguments replay the original response.
- `mode` (string|null): "sealed" (default, commit/reveal) or "open" (single round trip, low stakes).
- `party_labels` (array, required): One label per party, e.g. ["alice", "bob"] — or objects {"label", "weight"?, "statement_hash"?} (weight defaults to 1; statement_hash is "sha256:<hex>" of a declaration you want bound into the certif…
- `retention` (string|null): "standard" (inputs retained encrypted) or "purge" (destroyed 7 days after certification).
- `reveal_deadline` (integer, required): Reveal deadline as unix seconds UTC (after commit_deadline). Missed → deal goes VOID and a non-participation certificate names whoever didn't reveal.
- `supersedes` (string|null): Optional: certificate id (c_<16 hex>) this deal's certificate replaces (re-draw after VOID etc.).
- `terms_hash` (string|null): Optional: "sha256:<hex>" of the deal's terms (echoed into the certificate; we never see the terms).
- `visibility` (string|null): Optional: "public" (default — anyone can fetch the certificate at its id) or "parties" (only you and your invite-token holders). Certificates never contain inputs, only the outcome; choose "parties"…

### `create_key` (~47 tokens)

Get a free redeal API key. No signup, no email — this is the entire onboarding. The key is shown once; store it. Use it as api_key in create_deal.

### `get_certificate` (~84 tokens)

Fetch the signed fairness certificate for a finished deal (state CERTIFIED). Includes the labelled signature (es256 or ed25519) and transparency-log inclusion proof. Verify it with verify_certificate.

Input parameters:

- `credential` (string, required): Your API key (initiator) or any party's invite token for this deal.
- `deal_id` (string, required): The deal id (d_...).

### `get_deal` (~101 tokens)

Read a deal's public state: protocol state (OPEN/COMMITTING/REVEALING/CERTIFIED/VOID/EXPIRED), who has committed/revealed, deadlines, result, and certificate_id once issued. Inputs of other parties are never exposed.

Input parameters:

- `credential` (string, required): Your API key (initiator) or any party's invite token for this deal.
- `deal_id` (string, required): The deal id (d_...).

### `get_entropy` (~126 tokens)

Finish a random.v1 deal once every party has revealed: redeal fetches the deal's pre-declared drand round from the public League of Entropy beacon (fixed at creation, publicly cross-checkable), computes the draw, and issues the certificate. Call this after the last reveal_input; the deal rests in REVEALING until you do. Idempotent — safe to retry.

Input parameters:

- `credential` (string, required): Your API key (initiator) or any party's invite token for this deal.
- `deal_id` (string, required): The deal id (d_...).

### `get_public_certificate` (~90 tokens)

Fetch a certificate's full JSON (outcome included) by id. Works for public deals (the default). Parties-only deals and unknown ids both return NOT_FOUND. To re-verify the computation itself, use verify_certificate (checks) or the CLI re-runner with the parties' inputs.

Input parameters:

- `cert_id` (string, required): The certificate id (c_...). Verification is free and always will be.

### `list_algorithms` (~79 tokens)

List redeal's algorithms (split.v1 fixed-budget fair division, random.v1 verifiable random selection, shapley.v1 Shapley shares, auction.v1 sealed-bid second-price auctions) with their input contracts and the published test vectors (served inline — the same fixtures the engine test suite runs). Read this before creating a deal.

### `reveal_input` (~201 tokens)

Reveal your committed input. It must hash to your earlier commitment. When the last party reveals, the deal computes and the fairness certificate is issued automatically — fetch it with get_certificate.

Input parameters:

- `deal_id` (string, required): The deal id (d_...).
- `idempotency_key` (string|null): Optional: retries with the same key + same arguments replay the original response.
- `input` (required): Your algorithm input exactly as committed (any JSON value). split.v1: {"valuations": {...}} — your valuations must sum to exactly 1000; random.v1: {"nonce": "<hex>"}; shapley.v1: {"accept": true|fals…
- `invite_token` (string, required): The invite token for YOUR party, from create_deal's response.
- `salt` (string|null): Your hex salt from commitment time. Omit (or empty) for open-mode deals.

### `validate_input` (~187 tokens)

Validate your algorithm input against the deal's contract BEFORE you commit. A commitment binds the exact input bytes — a contract-violating input (e.g. split.v1 valuations not summing to exactly 1000) can never be corrected afterwards and the deal will VOID at the reveal deadline. Always validate first, then compute_commitment_tool, then commit_input. Read-only: nothing is stored or changed.

Input parameters:

- `deal_id` (string, required): The deal id (d_...).
- `input` (required): The algorithm input you plan to commit (e.g. {"valuations": {"<item_id>": <points>}} for split.v1 — every party's valuations must sum to exactly 1000). Validated against the deal's algorithm and decl…
- `invite_token` (string, required): The invite token for YOUR party, from create_deal's response.

### `verify_certificate` (~65 tokens)

Verify a redeal certificate by id: signature check (current or published legacy key) + transparency-log inclusion check, reported per check. Free, no credential required, always.

Input parameters:

- `cert_id` (string, required): The certificate id (c_...). Verification is free and always will be.

## Diagnostics

Captured diagnostic sections: TLS, DNSSEC, Authorisation, Transports. The full working is on the page: https://verifymcp.io/servers/dev-redeal-redeal/api#diagnostics

## Score history

- 2026-08-20: 64
- 2026-08-19: 64
- 2026-08-18: 64
- 2026-08-17: 63
- 2026-08-16: 63
- 2026-08-15: 63

## Links

- Remote endpoint: https://api.redeal.dev/mcp
- Repository: https://github.com/redeal-dev/redeal
- Website: https://redeal.dev/
- Changelog RSS feed: https://verifymcp.io/servers/dev-redeal-redeal/api.xml
- Changelog JSON feed: https://verifymcp.io/servers/dev-redeal-redeal/api.json
- HTML version of this page: https://verifymcp.io/servers/dev-redeal-redeal/api