dev.redeal/redeal

up checked 2026-11-11T03:37:55.585Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Redeal

Publisher-provided description

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

Summary by lookupd

Runs neutral fair-division, verifiable random selection, and Shapley computations for multiple parties, with signed fairness certificates.

Install

Claude Code, remote (streamable-http)

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

Codex, remote (streamable-http)

codex mcp add redeal --url https://api.redeal.dev/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "redeal": {
      "url": "https://api.redeal.dev/mcp"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (12 tools)

Publisher-provided text

commit_input 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
compute_commitment_tool Compute a commitment string for (input, salt): sha256(JCS(input) ++ salt_bytes), prefixed 'sha256:'. Convenience only — the rule is public and you can compute i
create_deal 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: eve
create_key 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 Fetch the signed fairness certificate for a finished deal (state CERTIFIED). Includes the labelled signature (es256 or ed25519) and transparency-log inclusion p
get_deal Read a deal's public state: protocol state (OPEN/COMMITTING/REVEALING/CERTIFIED/VOID/EXPIRED), who has committed/revealed, deadlines, result, and certificate_id
get_entropy 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 cre
get_public_certificate 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-
list_algorithms List redeal's algorithms (split.v1 fixed-budget fair division, random.v1 verifiable random selection, shapley.v1 Shapley shares, auction.v1 sealed-bid second-pr
reveal_input 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 auto
validate_input 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.v
verify_certificate Verify a redeal certificate by id: signature check (current or published legacy key) + transparency-log inclusion check, reported per check. Free, no credential

Details

Version: 0.7.0
Transports: streamable-http
Uptime (7 days): 100%
Median latency: 758 ms
First indexed: 2026-11-01T09:01:30.338Z
Last seen in registry: 2026-11-01T09:01:30.396Z
Repository: https://github.com/redeal-dev/redeal
Website: https://redeal.dev

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/dev.redeal/redeal.svg)](https://lookupd.com/servers/dev.redeal/redeal)

62092 servers
Last crawl: 2026-11-11T17:17:22.074Z
API base: https://api.lookupd.com
MCP URL: https://api.lookupd.com/mcp